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 |
Mark as duplicate
Export citation
Request removal from index
|
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.
The Logics Stronger Than Łukasiewicz's Three Valued Sentential Calculus-the Notion of Degree of Maximality Versus the Notion of Degree of Completeness.Ryszard Wójcicki - 1974 - Studia Logica 33 (2):201-214.
Discussion on J. Sneed's The Logical Structure of Mathematical Physics.Ryszard Wójcicki - 1974 - Studia Logica 33:105.
Some Remarks on the Consequence Operation in Sentential Logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.
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 articles
Second 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.
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.
Analytics
Added to PP index
2009-01-28
Total views
34 ( #301,810 of 2,410,452 )
Recent downloads (6 months)
1 ( #540,320 of 2,410,452 )
2009-01-28
Total views
34 ( #301,810 of 2,410,452 )
Recent downloads (6 months)
1 ( #540,320 of 2,410,452 )
How can I increase my downloads?
Downloads
