- (1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.details
|
|
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II).Sara Ayhan - 2023 - Bulletin of the Section of Logic 52 (3):267-274.details
|
|
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I).Sara Ayhan - 2023 - Bulletin of the Section of Logic 52 (2):101-108.details
|
|
Fractional-Valued Modal Logic and Soft Bilateralism.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Bulletin of the Section of Logic 52 (3):275-299.details
|
|
Coordination and Harmony in Bilateral Logic.Pedro del Valle-Inclan & Julian J. Schlöder - 2023 - Mind 132 (525):192-207.details
|
|
Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.details
|
|
Epistemic Modals in Hypothetical Reasoning.Maria Aloni, Luca Incurvati & Julian J. Schlöder - 2023 - Erkenntnis 88 (8):3551-3581.details
|
|
Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Torontodetails
|
|
On the notion of validity for the bilateral classical logic.Ukyo Suzuki & Yoriyuki Yamagata - manuscriptdetails
|
|
Bilateralism: Negations, Implications and some Observations and Problems about Hypotheses.Nils Kürbis - 2017 - In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017.details
|
|
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.details
|
|
Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.details
|
|
Harmony and Normalisation in Bilateral Logic.Pedro del Valle-Inclan - 2023 - Bulletin of the Section of Logic 52 (3):377-409.details
|
|
Towards a polarized semantics for assertion and denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.details
|
|
Bilateral Rules as Complex Rules.Leonardo Ceragioli - 2023 - Bulletin of the Section of Logic 52 (3):329-375.details
|
|
Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.details
|
|
(1 other version)Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|