- How to assign ordinal numbers to combinatory terms with polymorphic types.William R. Stirton - 2012 - Archive for Mathematical Logic 51 (5):475-501.details
|
|
Constructibility of the Universal Wave Function.Arkady Bolotin - 2016 - Foundations of Physics 46 (10):1253-1268.details
|
|
Molecularity in the Theory of Meaning and the Topic Neutrality of Logic.Bernhard Weiss & Nils Kürbis - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 187-209.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
A Note on Synonymy in Proof-Theoretic Semantics.Heinrich Wansing - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 339-362.details
|
|
On Modal Logics of Linear Inequalities.Clemens Kupke & Dirk Pattinson - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 235-255.details
|
|
Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
The Logicality of Equality.Andrzej Indrzejczak - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 211-238.details
|
|
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Counterfactual Assumptions and Counterfactual Implications.Bartosz Więckowski - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 399-423.details
|
|
Eight Rules for Implication Elimination.Michael Arndt - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 239-273.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
Truth without contra(di)ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.details
|
|
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.details
|
|
Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.details
|
|
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.details
|
|
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.details
|
|
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.details
|
|
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.details
|
|
Proof-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.details
|
|
Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.details
|
|
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics.Matteo Tesi - 2020 - Studia Logica 109 (4):725-757.details
|
|
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.Ryo Takemura - 2021 - Archive for Mathematical Logic 60 (7):783-813.details
|
|
Logic and Majority Voting.Ryo Takemura - 2021 - Journal of Philosophical Logic 51 (2):347-382.details
|
|
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.details
|
|
Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.details
|
|
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.details
|
|
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Gentzen’s consistency proof without heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.details
|
|
On structural contraction and why it fails.Lucas Rosenblatt - 2019 - Synthese 198 (3):2695-2720.details
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.details
|
|
A note on cut-elimination for classical propositional logic.Gabriele Pulcini - 2022 - Archive for Mathematical Logic 61 (3):555-565.details
|
|
Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.details
|
|
On defining the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2016 - Synthese 193 (10).details
|
|
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.details
|
|
On constructing a logic for the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2018 - Synthese 195 (3):1231-1254.details
|
|
From Single Agent to Multi-Agent via Hypersequents.Francesca Poggiolesi - 2013 - Logica Universalis 7 (2):147-166.details
|
|
Grounding principles for (relevant) implication.Francesca Poggiolesi - 2020 - Synthese 198 (8):7351-7376.details
|
|