- Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.details
|
|
Logical foundations and complexity of 4QL, a query language with unrestricted negation.Jan Maluszyński & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (2):211-232.details
|
|
Routes to relevance: Philosophies of relevant logics.Shawn Standefer - 2024 - Philosophy Compass 19 (2):e12965.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|
Track-Down Operations on Bilattices.Damian Szmuc - 2018 - In Robert Wille & Martin Lukac (eds.), Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic. pp. 74-79.details
|
|
Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.details
|
|
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - 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
|
|
Handbook of Formal Argumentation.Pietro Baroni, Dov Gabbay, Massimilino Giacomin & Leendert van der Torre (eds.) - 2018 - London, England: College Publications.details
|
|
Negation and Dichotomy.Fabien Schang (ed.) - 2009 - Bydgoszcz: Kazimierz Wielki University Press.details
|
|
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.details
|
|
Kleene's logic, generalized.Melvin Fitting - unknowndetails
|
|
Relevant generalization starts here (and here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.details
|
|
A few more useful 8-valued logics for reasoning with tetralattice eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.details
|
|
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.details
|
|
Paradox, truth and logic part I: Paradox and truth.Peter W. Woodruff - 1984 - Journal of Philosophical Logic 13 (2):213 - 232.details
|
|
From Bi-facial Truth to Bi-facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.details
|
|
Assertoric Semantics and the Computational Power of Self-Referential Truth.Stefan Wintein - 2012 - Journal of Philosophical Logic 41 (2):317-345.details
|
|
Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.details
|
|
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.details
|
|
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.details
|
|
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic.Heinrich Wansing - 2024 - Erkenntnis 89 (1):181-205.details
|
|
Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.details
|
|
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.details
|
|
Connectives stranger than tonk.Heinrich Wansing - 2006 - Journal of Philosophical Logic 35 (6):653 - 660.details
|
|
Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.details
|
|
A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity.Heinrich Wansing - 2012 - Topoi 31 (1):93-100.details
|
|
Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.details
|
|
Supra-logic: using transfinite type theory with type variables for paraconsistency.Jørgen Villadsen - 2005 - Journal of Applied Non-Classical Logics 15 (1):45-58.details
|
|
On what ontology is and not-is.Karin Verelst - 2008 - Foundations of Science 13 (3):347-370.details
|
|
Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic.Peter Verdée - 2020 - Synthese 198 (S22):5415-5449.details
|
|
Inconsistency without Contradiction.Achille C. Varzi - 1997 - Notre Dame Journal of Formal Logic 38 (4):621-639.details
|
|
Action emulation.Jan van Eijck - 2012 - Synthese 185 (1):131-151.details
|
|
A new axiomatic foundation of partial comparability.Alexis Tsoukiàs & Philippe Vincke - 1995 - Theory and Decision 39 (1):79-114.details
|
|
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.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
|
|
Inferentialism and Relevance.Damián Szmuc - 2021 - Análisis Filosófico 41 (2):317-336.details
|
|
How an agent might think.A. Szalas - 2013 - Logic Journal of the IGPL 21 (3):515-535.details
|
|
Explosion and the Normativity of Logic.Florian Steinberger - 2016 - Mind 125 (498):385-419.details
|
|
Paraconsistent logics?B. H. Slater - 1995 - Journal of Philosophical Logic 24 (4):451 - 454.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
|
|
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
|
|
Editorial Introduction. Truth Values: Part I. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):295-304.details
|
|
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.Yaroslav Shramko - 2022 - Archive for Mathematical Logic 61 (5):627-651.details
|
|
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.details
|
|
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.details
|
|