The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
Studia Logica 40 (2):195 - 198 (1981)
| Abstract |
Professor Ryszard Wójcicki once asked whether the degree of maximality of the consequence operationC determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to ? The aim of the present paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality ofC — the — fragment ofC, is equal to , for every such that.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF01874708 |
| Options |
Save to my reading list
Follow the author(s)
Edit this record
|
Download options
References found in this work BETA
Matrix Approach in Methodology of Sentential Calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
Some Remarks on the Consequence Operation in Sentential Logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.
Discussion on J. Sneed's The Logical Structure of Mathematical Physics.Ryszard Wójcicki - 1974 - Studia Logica 33:105.
Citations of this work BETA
Cardinalities of Proper Ideals in Some Lattices of Strengthenings of the Intuitionistic Propositional Logic.Wiesław Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.
Similar books and articlesSecond Order Propositional Operators Over Cantor Space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
Cardinalities of Proper Ideals in Some Lattices of Strengthenings of the Intuitionistic Propositional Logic.Wiesław Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.
A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.Tomasz Połacik - 1998 - Journal of Symbolic Logic 63 (1):269-300.
Degrees of Maximality of Łukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Interpolation in Fragments of Intuitionistic Propositional Logic.Gerard R. Renardel De Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419 - 1430.
Added to PP index
2009-01-28
Total downloads
22 ( #256,129 of 2,226,009 )
Recent downloads (6 months)
1 ( #428,364 of 2,226,009 )
2009-01-28
Total downloads
22 ( #256,129 of 2,226,009 )
Recent downloads (6 months)
1 ( #428,364 of 2,226,009 )
How can I increase my downloads?
Monthly downloads
My notes
