- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the structural completeness of some pure implicational propositional calculi
Studia Logica 30 (1):45 - 52 (1972)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
A correction to my paper "Connections between some notions of completeness of structural propositional calculi".Marek Tokarz - 1975 - Studia Logica 34 (3):293 -.
Structural completeness of Gödel's and Dummett's propositional calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
Proof of structural completeness of a certain class of implicative propositional calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics.Matteo Tesi - 2020 - Studia Logica 109 (4):725-757.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
Connections between some notions of completeness of structural propositional calculi.Marek Tokarz - 1972 - Bulletin of the Section of Logic 1 (2):17-19.
Some results concerning finite model separability of propositional calculi.Ronald Harrop - 1976 - Studia Logica 35 (2):179 - 189.
Analytics
Added to PP
2009-01-28
Downloads
47 (#467,133)
6 months
8 (#574,086)
2009-01-28
Downloads
47 (#467,133)
6 months
8 (#574,086)
Historical graph of downloads
Citations of this work
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
Admissible rules in the implication–negation fragment of intuitionistic logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
Singly generated quasivarieties and residuated structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
References found in this work
Investigations Into Implicational S5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13-17):203-220.
On the scope of the classical deduction theorem.Witold A. Pogorzelski - 1968 - Journal of Symbolic Logic 33 (1):77-81.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-f8568656d-xdmqb uwo