- Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic.Tim Button - 2016 - Analysis 76 (1):7-19.details
|
|
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.details
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.details
|
|
The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.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
|
|
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.details
|
|
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.Alexander Bochman - 1998 - Notre Dame Journal of Formal Logic 39 (1):47-73.details
|
|
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.details
|
|
Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.details
|
|
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.details
|
|
Varieties of interlaced bilattices.Umberto Rivieccio, Ramon Jansana & Felix Bou Moliner - 2011 - Algebra Universalis 66 (1-2):115-141.details
|
|
On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.details
|
|
Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.details
|
|
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation.Gemma Robles & José M. Méndez - 2021 - Journal of Applied Non-Classical Logics 31 (2):130-153.details
|
|
Immune Logics.Bruno da Re & Damian Szmuc - 2021 - Australasian Journal of Logic 18 (1):29-52.details
|
|
Identity and Aboutness.Benjamin Brast-McKie - 2021 - Journal of Philosophical Logic 50 (6):1471-1503.details
|
|
On Vidal's trivalent explanations for defective conditional in mathematics.Yaroslav Petrukhin & Vasily Shangin - 2019 - Journal of Applied Non-Classical Logics 29 (1):64-77.details
|
|
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.details
|
|
Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 268-283.details
|
|
Theories of truth based on four-valued infectious logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.details
|
|
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.details
|
|
Representation of interlaced trilattices.Umberto Rivieccio - 2013 - Journal of Applied Logic 11 (2):174-189.details
|
|
Knot much like tonk.Michael De & Hitoshi Omori - 2022 - Synthese 200 (149):1-14.details
|
|
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.details
|
|
Remarks on the Gupta-Belnap fixed-point property for k-valued clones.José Martínez-Fernández - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):118-131.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.details
|
|
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.Marcin Jukiewicz, Marek Nasieniewski, Yaroslav Petrukhin & Vasily Shangin - forthcoming - Logic Journal of the IGPL.details
|
|
The representation of gappy sentences in four-valued semantics.Genoveva Martí & José Martínez-Fernández - 2021 - Semiotica 2021 (240):145-163.details
|
|
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.details
|
|
Fixpoint Semantics for Logic Programming A Survey.Melvin Fitting - unknowndetails
|
|
Knowledge and ignorance in Belnap–Dunn logic.Daniil Kozhemiachenko & Liubov Vashentseva - forthcoming - Logic Journal of the IGPL.details
|
|
Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.details
|
|
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.details
|
|
Models of Positive Truth.Mateusz Łełyk & Bartosz Wcisło - 2019 - Review of Symbolic Logic 12 (1):144-172.details
|
|
Natural Dualities Through Product Representations: Bilattices and Beyond.L. M. Cabrer & H. A. Priestley - 2016 - Studia Logica 104 (3):567-592.details
|
|
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknowndetails
|
|
The Family of Stable Models.Melvin Fitting - unknowndetails
|
|
Kleene's logic, generalized.Melvin Fitting - unknowndetails
|
|
Quantifiers in connexive logic (in general and in particular).Heinrich Wansing & Zach Weber - forthcoming - Logic Journal of the IGPL.details
|
|
Belief functions on distributive lattices.Chunlai Zhou - 2013 - Artificial Intelligence 201 (C):1-31.details
|
|
A general framework for product representations: bilattices and beyond.L. M. Cabrer & H. A. Priestley - 2015 - Logic Journal of the IGPL 23 (5):816-841.details
|
|
An Approach to Uncertainty via Sets of Truth Values.George Gargov - 1995 - Notre Dame Journal of Formal Logic 36 (2):235-268.details
|
|
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.details
|
|
Reasoning with belief functions over Belnap–Dunn logic.Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Sajad Nazari - 2024 - Annals of Pure and Applied Logic 175 (9):103338.details
|
|
Evidential bilattice logic and lexical inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.details
|
|
Rivals to Belnap–Dunn Logic on Interlaced Trilattices.Thomas M. Ferguson - 2017 - Studia Logica 105 (6):1123-1148.details
|
|