A formal system for the non-theorems of the propositional calculus

Notre Dame Journal of Formal Logic 19:147 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888218

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Inferentializing consequence.Jaroslav Peregrin - unknown
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
A Game-Based Formal System for Ł ${}_{\infty}$.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49 - 73.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Ockham’s Calculus of Strict Implication.Wolfgang Lenzen - 2015 - Logica Universalis 9 (2):181-191.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.

Analytics

Added to PP
2017-02-20

Downloads
10 (#1,197,378)

6 months
5 (#646,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
A sequent calculus for a logic of contingencies.Michael Tiomkin - 2013 - Journal of Applied Logic 11 (4):530-535.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references