- Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
Diamonds are a philosopher's best friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.details
|
|
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.details
|
|
Tarskian Structured Consequence Relations and Functional Completeness.Heinrich Wansing - 1995 - Mathematical Logic Quarterly 41 (1):73-92.details
|
|
Logical Connectives for Constructive Modal Logic.Heinrich Wansing - 2006 - Synthese 150 (3):459-482.details
|
|
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.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
|
|
Meeting strength in substructural logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
Dynamic negation and negative information.Sebastian Sequoiah-Grayson - 2009 - Review of Symbolic Logic 2 (1):233-248.details
|
|
A positive information logic for inferential information.Sebastian Sequoiah-Grayson - 2009 - Synthese 167 (2):409 - 431.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.details
|
|
Łukasiewicz, Supervaluations and the Future.Greg Restall - 2005 - Logic and Philosophy of Science 3:1-10.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
Ordered pair semantics and negation in LP.Matthew Clemens - 2020 - Australasian Journal of Logic 17 (5):201-205.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - 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
|
|
Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
The Stories of Logics.Andreas Kapsner - 2019 - Australasian Journal of Logic 16 (4):133-158.details
|
|
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.details
|
|
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide - 2009 - Studia Logica 91 (2):217-238.details
|
|
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.details
|
|
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation.Norihiro Kamide - 2021 - Journal of Logic, Language and Information 30 (3):491-531.details
|
|
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.details
|
|
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.details
|
|
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.details
|
|
Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2021 - Journal of Philosophical Logic 51 (1):99-126.details
|
|
Extended full computation-tree logics for paraconsistent model checking.Norihiro Kamide - 2007 - Logic and Logical Philosophy 15 (3):251-276.details
|
|
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.details
|
|
Bounded linear-time temporal logic: A proof-theoretic investigation.Norihiro Kamide - 2012 - Annals of Pure and Applied Logic 163 (4):439-466.details
|
|
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.details
|
|
A Mixed λ-calculus.Marie-Renée Fleury & Myriam Quatrini - 2007 - Studia Logica 87 (2-3):269-294.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Informational Semantics as a Third Alternative?Patrick Allo & Edwin Mares - 2011 - Erkenntnis 77 (2):167-185.details
|
|
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.details
|
|