- Substructural heresies.Bogdan Dicher - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
(1 other version)Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof.Francesca Poggiolesi & Francesco Genco - 2023 - Erkenntnis 88 (4):1481-1507.details
|
|
On the Universality of Atomic and Molecular Logics via Protologics.Guillaume Aucher - 2022 - Logica Universalis 16 (1):285-322.details
|
|
(1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.details
|
|
Autonomous Systems and the Place of Biology Among Sciences. Perspectives for an Epistemology of Complex Systems.Leonardo Bich - 2021 - In Gianfranco Minati (ed.), Multiplicity and Interdisciplinarity. Essays in Honor of Eliano Pessa. Springer. pp. 41-57.details
|
|
(1 other version)Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof.Francesca Poggiolesi & Francesco Genco - 2021 - Erkenntnis:1-27.details
|
|
A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.details
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Logical Expressivism and Logical Relations.Lionel Shapiro - 2018 - In Ondřej Beran, Vojtěch Kolman & Ladislav Koreň (eds.), From rules to meanings. New essays on inferentialism. New York, NY, USA: Routledge. pp. 179-95.details
|
|
Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.details
|
|
The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.details
|
|
Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Torontodetails
|
|
Cut Elimination and Normalization for Generalized Single and Multi-Conclusion Sequent and Natural Deduction Calculi.Richard Zach - 2021 - Review of Symbolic Logic 14 (3):645-686.details
|
|
Is multiset consequence trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.details
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
(1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Proof‐theoretic semantics of natural deduction based on inversion.Ernst Zimmermann - 2021 - Theoria 87 (6):1651-1670.details
|
|
Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.details
|
|
(1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2023 - Review of Symbolic Logic 16 (3):672-699.details
|
|
Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.details
|
|
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.details
|
|
Provably total functions of Basic Arithemtic.Saeed Salehi - 2003 - Mathematical Logic Quarterly 49 (3):316.details
|
|
Propositional superposition logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.details
|
|
Natural Deduction for Quantum Logic.K. Tokuo - 2022 - Logica Universalis 16 (3):469-497.details
|
|
Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - 2019 - Studia Logica 107 (1):85-107.details
|
|
Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.details
|
|
Naive Structure, Contraction and Paradox.Lionel Shapiro - 2015 - Topoi 34 (1):75-87.details
|
|
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Constantes logiques et décision.Saloua Chatti - 2015 - Philosophia Scientiae 19:229-250.details
|
|
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.Norihiro Kamide - 2021 - Journal of Philosophical Logic 50 (4):781-811.details
|
|
Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.details
|
|