- Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.details
|
|
Proof-theoretic analysis of the quantified argument calculus.Edi Pavlović & Norbert Gratzl - 2019 - Review of Symbolic Logic 12 (4):607-636.details
|
|
Free Logic and the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 105-116.details
|
|
A More Unified Approach to Free Logics.Edi Pavlović & Norbert Gratzl - 2020 - Journal of Philosophical Logic 50 (1):117-148.details
|
|
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate.Paolo Maffezioli & Eugenio Orlandelli - 2019 - Bulletin of the Section of Logic 48 (2):137-158.details
|
|
A three-valued quantified argument calculus: Domain-free model-theory, completeness, and embedding of fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.details
|
|
Three uses of the herbrand-Gentzen theorem in relating model theory and proof theory.William Craig - 1957 - Journal of Symbolic Logic 22 (3):269-285.details
|
|
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.details
|
|
The Quantified Argument Calculus and Natural Logic.Hanoch Ben-Yami - 2020 - Dialectica 74 (2):179-214.details
|
|
The Barcan formulas and necessary existence: the view from Quarc.Hanoch Ben-Yami - 2020 - Synthese 198 (11):11029-11064.details
|
|
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.details
|
|
Logical Inquiries into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Schefler & Wansing Heinrich (eds.), First-Order Logic Revisited. Berlin: Logos Verlag. pp. 173-223.details
|
|