Mathematical Logic Quarterly 35 (4):289-301 (1989)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19890350402 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms.Igor Lavrov, Larisa Maksimova & Giovanna Corsi - 2005 - Studia Logica 79 (3):409-410.
Citations of this work BETA
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
The Bounded Proof Property Via Step Algebras and Step Frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
Completeness Theorem for Dummett's LC Quantified and Some of its Extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik Lauridsen - 2019 - Studia Logica 107 (2):247-282.
View all 8 citations / Add more citations
Similar books and articles
Completeness Theorem for Dummett's LC Quantified and Some of its Extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Simulating Non-Prenex Cuts in Quantified Propositional Calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Product-Free Lambek Calculus and Context-Free Grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
A Cut-Free Simple Sequent Calculus for Modal Logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic of Provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
Examining Fragments of the Quantified Propositional Calculus.Steven Perron - 2008 - Journal of Symbolic Logic 73 (3):1051-1080.
Quantified Propositional Calculus and a Second-Order Theory for NC1.Stephen Cook & Tsuyoshi Morioka - 2005 - Archive for Mathematical Logic 44 (6):711-749.
The Lambek Calculus Enriched with Additional Connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs.Alessandra Carbone - 2000 - Studia Logica 64 (3):315-321.
Analytics
Added to PP index
2013-12-01
Total views
10 ( #848,519 of 2,419,626 )
Recent downloads (6 months)
1 ( #542,420 of 2,419,626 )
2013-12-01
Total views
10 ( #848,519 of 2,419,626 )
Recent downloads (6 months)
1 ( #542,420 of 2,419,626 )
How can I increase my downloads?
Downloads
