- Nelson algebras, residuated lattices and rough sets: A survey.Jouni Järvinen, Sándor Radeleczki & Umberto Rivieccio - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):368-428.details
|
|
Formes, objets et négation selon Granger.Fabien Schang - 2020 - Philosophiques 47 (1):3-33.details
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
|
|
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
On the Contrary: Inferential Analysis and Ontological Assumptions of the A Contrario Argument.Damiano Canale & Giovanni Tuzet - 2008 - Informal Logic 28 (1):31-43.details
|
|
Twist Structures and Nelson Conuclei.Manuela Busaniche, Nikolaos Galatos & Miguel Andrés Marcos - 2022 - Studia Logica 110 (4):949-987.details
|
|
Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.details
|
|
Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.details
|
|
La logique propositionnelle et ses variantes: une approche comparée.François Lepage - 2022 - [Montréal]: Presses de l'Université de Montréal. Edited by Samuel Montplaisir.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.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
|
|
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.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
|
|
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns.Piero Pagliani & Mihir Chakraborty - 2008 - Dordrecht, Netherland: Springer.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.details
|
|
Diamonds are a philosopher's best friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.details
|
|
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.details
|
|
Duality and Inferential Semantics.James Trafford - 2015 - Axiomathes 25 (4):495-513.details
|
|
What is a genuine intuitionistic notion of falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.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
|
|
Priestley Duality for Paraconsistent Nelson’s Logic.Sergei P. Odintsov - 2010 - Studia Logica 96 (1):65-93.details
|
|
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.details
|
|
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.details
|
|
On deductive bases for paraconsistent answer set semantics.N. V. Mayatskiy & S. P. Odintsov - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):131-146.details
|
|
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.details
|
|
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.details
|
|
The Stories of Logics.Andreas Kapsner - 2019 - Australasian Journal of Logic 16 (4):133-158.details
|
|
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.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 Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.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
|
|
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
|
|
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
|
|
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
|
|
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.details
|
|
How basic is the basic revisionary argument?Luca Incurvati & Julien Murzi - 2008 - Analysis 68 (4):303-309.details
|
|
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.details
|
|
An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.details
|
|
A Categorical Equivalence for Tense Nelson Algebras.Aldo V. Figallo, Jonathan Sermento & Gustavo Pelaitay - 2021 - Studia Logica 110 (1):241-263.details
|
|
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.details
|
|
Constructing Situations and Time.Tim Fernando - 2011 - Journal of Philosophical Logic 40 (3):371 - 396.details
|
|