- On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.details
|
|
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.details
|
|
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.details
|
|
Proof and truth: an anti-realist perspective.Luca Tranchini - 2013 - Pisa: Edizioni ETS. Edited by Luca Tranchini.details
|
|
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.details
|
|
Natural deduction for bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.details
|
|
On the validity of the definition of a complement-classifier.Mariusz Stopa - 2020 - Philosophical Problems in Science 69:111-128.details
|
|
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.details
|
|
Modulated fibring and the collapsing problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.details
|
|
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics.Norihiro Kamide - 2024 - Journal of Logic, Language and Information 33 (2):143-178.details
|
|
Dualising Intuitionictic Negation.Graham Priest - 2009 - Principia: An International Journal of Epistemology 13 (2):165-184.details
|
|
Truth and meaning.Donald Perlis - 1989 - Artificial Intelligence 39 (2):245-250.details
|
|
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.details
|
|
Real Analysis in Paraconsistent Logic.Maarten McKubre-Jordens & Zach Weber - 2012 - Journal of Philosophical Logic 41 (5):901-922.details
|
|
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.details
|
|
Symmetric and conflated intuitionistic logics.Norihiro Kamide - forthcoming - Logic Journal of the IGPL.details
|
|
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.Norihiro Kamide - 2023 - Studia Logica 111 (6):979-1014.details
|
|
Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2021 - Journal of Philosophical Logic 51 (1):99-126.details
|
|
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide - 2023 - Journal of Logic, Language and Information 32 (3):395-440.details
|
|
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.details
|
|
LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.details
|
|
Pragmatic logics for hypotheses and evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.details
|
|
First-order anti-intuitionistic logic with apartness.Andreas B. M. Brunner - 2004 - Logic and Logical Philosophy 13:77-88.details
|
|
Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Some non-classical approaches to the Brandenburger–Keisler paradox.Can Başkent - 2015 - Logic Journal of the IGPL 23 (4):533-552.details
|
|
A Yabloesque paradox in epistemic game theory.Can Başkent - 2018 - Synthese 195 (1):441-464.details
|
|