- 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
|
|
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.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
|
|
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.details
|
|
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.Norihiro Kamide & Yoni Zohar - 2020 - Studia Logica 108 (3):549-571.details
|
|
Completeness and cut-elimination theorems for trilattice logics.Norihiro Kamide & Heinrich Wansing - 2011 - Annals of Pure and Applied Logic 162 (10):816-835.details
|
|
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.details
|
|
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.details
|
|
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.details
|
|
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.details
|
|
Two proofs of the algebraic completeness theorem for multilattice logic.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Journal of Applied Non-Classical Logics 29 (4):358-381.details
|
|
On a multilattice analogue of a hypersequent S5 calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.details
|
|
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.details
|
|
Semi De Morgan Logic Properly Displayed.Giuseppe Greco, Fei Liang, M. Andrew Moshier & Alessandra Palmigiano - 2020 - Studia Logica 109 (1):1-45.details
|
|
The attack as strong negation, part I.D. Gabbay & M. Gabbay - 2015 - Logic Journal of the IGPL 23 (6):881-941.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
A Family of Strict/Tolerant Logics.Melvin Fitting - 2020 - Journal of Philosophical Logic 50 (2):363-394.details
|
|
Rivals to Belnap–Dunn Logic on Interlaced Trilattices.Thomas M. Ferguson - 2017 - Studia Logica 105 (6):1123-1148.details
|
|
The logical bases of contradictory Christology: comments on The Contradictory Christ, Ch. 2.Luis Estrada-gonzález - 2021 - Manuscrito 44 (4):340-362.details
|
|
An Analysis of Poly-connexivity.Luis Estrada-González - 2022 - Studia Logica 110 (4):925-947.details
|
|
Tarskian consequence relations bilaterally: some familiar notions.Sergey Drobyshevich - 2019 - Synthese 198 (S22):5213-5240.details
|
|
Proof systems for various fde-based modal logics.Sergey Drobyshevich & Heinrich Wansing - 2020 - Review of Symbolic Logic 13 (4):720-747.details
|
|
Neighbourhood Semantics for FDE-Based Modal Logics.S. Drobyshevich & D. Skurt - 2021 - Studia Logica 109 (6):1273-1309.details
|
|
A General Framework for $$ {FDE}$$ FDE -Based Modal Logics.Sergey Drobyshevich - 2020 - Studia Logica 108 (6):1281-1306.details
|
|
Propositional and predicate logics of incomplete information.Marco Console, Paolo Guagliardo & Leonid Libkin - 2022 - Artificial Intelligence 302 (C):103603.details
|
|
Natural Dualities Through Product Representations: Bilattices and Beyond.L. M. Cabrer & H. A. Priestley - 2016 - Studia Logica 104 (3):567-592.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
|
|
The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.details
|
|
The Rules of Logic Composition for the Bayesian Epistemic e-Values.Wagner Borges & Julio Michael Stern - 2007 - Logic Journal of the IGPL 15 (5-6):401-420.details
|
|
Bilattice logic of epistemic actions and knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.details
|
|
The Normal and Self-extensional Extension of Dunn–Belnap Logic.Arnon Avron - 2020 - Logica Universalis 14 (3):281-296.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
|
|
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
Reasoning with different levels of uncertainty.Ofer Arieli - 2003 - Journal of Applied Non-Classical Logics 13 (3):317-343.details
|
|
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.details
|
|
A QBF-based formalization of abstract argumentation semantics.Ofer Arieli & Martin W. A. Caminada - 2013 - Journal of Applied Logic 11 (2):229-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
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Residuated bilattices.Umberto Rivieccio & Ramon Jansana - 2012 - Soft Computing 16 (3):493-504.details
|
|
Varieties of interlaced bilattices.Umberto Rivieccio, Ramon Jansana & Felix Bou Moliner - 2011 - Algebra Universalis 66 (1-2):115-141.details
|
|
Bilattice Public Announcement Logic.Umberto Rivieccio - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 459-477.details
|
|
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Truth values.Yaroslav Shramko - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Bilattices are nice things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.details
|
|
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.Julio Michael Stern - 2004 - Lecture Notes in Artificial Intelligence 3171:134-143.details
|
|
Propositional dynamic logic with belnapian truth values.Igor Sedlár - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 503-519.details
|
|
Paracomplete logics which are dual to the paraconsistent logics L3A and L3B.Alejandro Hernández-Tello, Verónica Borja-Macı́as & Marcelo E. Coniglio - 2020 - LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.details
|
|