Structural Completeness of the Propositional Calculus

Journal of Symbolic Logic 40 (4):604-605 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271816

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: W. A. Pogorzelski, Structural Completeness of the Propositional Calculus. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):604-605.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):153-156.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Some remarks on the concept of completeness of the propositional calculus. I.W. A. Pogorzelski - 1968 - Studia Logica 23 (1):55-58.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
A Simple Proof of Completeness and Cut-elimination for Propositional G¨ odel Logic.Arnon Avron - unknown
Structural completeness of the first‐order predicate calculus.W. A. Pogorzelski & T. Prucnal - 1975 - Mathematical Logic Quarterly 21 (1):315-320.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Completeness theorems via the double dual functor.Adriana Galli, Marta Sagastume & Gonzalo E. Reyes - 2000 - Studia Logica 64 (1):61-81.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A Proof of the Completeness of the Classical Propositional Calculus on the Ground of an Axiomatic Methodology.Witold A. Pogorzelski & Jerzy Slupecki - 1967 - Journal of Symbolic Logic 32 (4):536-537.
Hypergraphs And The Intuitionistic Propositional Calculus.Adam Kolany - 1993 - Reports on Mathematical Logic:55-66.

Analytics

Added to PP
2015-02-05

Downloads
14 (#965,243)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references