- Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Handbook of Logical Thought in India.Sundar Sarukkai & Mihir Chakraborty (eds.) - 2018 - New Delhi, India: Springer.details
|
|
Belief functions on distributive lattices.Chunlai Zhou - 2013 - Artificial Intelligence 201 (C):1-31.details
|
|
Relevant generalization starts here (and here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.details
|
|
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
When epistemic closure does and does not fail: a lesson from the history of epistemology.T. A. Warfield - 2004 - Analysis 64 (1):35-41.details
|
|
Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.details
|
|
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic.Heinrich Wansing - 2024 - Erkenntnis 89 (1):181-205.details
|
|
Generalized truth values.: A reply to Dubois.Heinrich Wansing & Nuel Belnap - 2010 - Logic Journal of the IGPL 18 (6):921-935.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
|
|
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.details
|
|
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.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
|
|
Hilbert-style axiomatization of first-degree entailment and a family of its extensions.Yaroslav Shramko - 2021 - Annals of Pure and Applied Logic 172 (9):103011.details
|
|
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.details
|
|
Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.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
|
|
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.Yaroslav Shramko - 2022 - Archive for Mathematical Logic 61 (5):627-651.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
|
|
Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix.Gemma Robles - forthcoming - Logic Journal of the IGPL.details
|
|
Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.details
|
|
Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value.Gemma Robles & José M. Méndez - 2019 - Logic Journal of the IGPL 27 (6):910-932.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
|
|
The lattice of all 4-valued implicative expansions of Belnap–Dunn logic containing Routley and Meyer’s basic logic Bd.Gemma Robles & José M. Méndez - forthcoming - Logic Journal of the IGPL.details
|
|
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.details
|
|
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2014 - Journal of Philosophical Logic 43 (2-3):303-332.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.details
|
|
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.details
|
|
A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.details
|
|
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.details
|
|
A paraconsistent 3-valued logic related to Godel logic G3.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (4):515-538.details
|
|
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4.Gemma Robles & José M. Méndez - 2016 - Logic Journal of the IGPL 24 (5).details
|
|
A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (3):533-556.details
|
|
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable.Gemma Robles & José M. Méndez - 2023 - Journal of Philosophical Logic 52 (3):915-938.details
|
|
A basic quasi-Boolean logic of intuitionistic character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.details
|
|
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 30 (1):117-138.details
|
|
The Lattice of Super-Belnap Logics.Adam Přenosil - 2023 - Review of Symbolic Logic 16 (1):114-163.details
|
|
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic.Sergey Pavlov - 2011 - Logica Universalis 5 (2):319-325.details
|
|
Pure Variable Inclusion Logics.Francesco Paoli, Michele Pra Baldi & Damian Szmuc - forthcoming - Logic and Logical Philosophy:1-22.details
|
|
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C.S. P. Odintsov & H. Wansing - 2008 - Journal of Applied Logic 6 (3):343-360.details
|
|
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.details
|
|
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.details
|
|
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.details
|
|
Countably Many Weakenings of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2020 - Studia Logica 108 (2):163-198.details
|
|
A Paraconsistent Conditional Logic.Minghui Ma & Chun-Ting Wong - 2020 - Journal of Philosophical Logic 49 (5):883-903.details
|
|
A Deterministic Weakening of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2019 - Studia Logica 107 (2):283-312.details
|
|
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.details
|
|
Belnap–Dunn Modal Logic with Value Operators.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 109 (4):759-789.details
|
|