- Expanding the universe of universal logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.details
|
|
Zolin and Pizzi: Defining Necessity from Noncontingency.Lloyd Humberstone - 2013 - Erkenntnis 78 (6):1275-1302.details
|
|
Note critiche / Critical notices.Luigi Dappiano, Jacek J. Jadacki, Massimo Libardi & Ryszard Puciato - 1993 - Axiomathes 4 (3):413-462.details
|
|
Performability of Actions.Janusz Czelakowski - 2021 - Journal of Logic, Language and Information 30 (4):753-804.details
|
|
Logics and operators.Janusz Czelakowski - 1995 - Logic and Logical Philosophy 3:87-100.details
|
|
Deontology of Compound Actions.Janusz Czelakowski - 2020 - Studia Logica 108 (1):5-47.details
|
|
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science.Janusz Czelakowski (ed.) - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.details
|
|
On the logic that preserves degrees of truth associated to involutive Stone algebras.Liliana M. Cantú & Martín Figallo - 2020 - Logic Journal of the IGPL 28 (5):1000-1020.details
|
|
On two fragments with negation and without implication of the logic of residuated lattices.Félix Bou, Àngel García-Cerdaña & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (5):615-647.details
|
|
Logics of left variable inclusion and Płonka sums of matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1-2):49-76.details
|
|
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.details
|
|
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.details
|
|
The Logical Structure of Truthmaking.Staffan Angere - 2015 - Journal of Philosophical Logic 44 (4):351-374.details
|
|
Equivalence in logic-based argumentation.Leila Amgoud, Philippe Besnard & Srdjan Vesic - 2014 - Journal of Applied Non-Classical Logics 24 (3):181-208.details
|
|
Equivalence of defeasible normative systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.details
|
|
Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.details
|
|
It ain't necessarily so: Basic sequent systems for negative modalities.Ori Lahav, Marcos, João & Yoni Zohar - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 449-468.details
|
|
No cause for collapse.Dustin Gooßens & Andrew Tedder - 2023 - Asian Journal of Philosophy 2 (2):1-19.details
|
|
Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.details
|
|
On the Concept of a Notational Variant.Alexander W. Kocurek - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 284-298.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach - 2023 - Logic and Logical Philosophy 32 (2):161-179.details
|
|
Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods - 2018 - Thought: A Journal of Philosophy 7 (1):58-68.details
|
|
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.details
|
|
A logic is referential iff it is selfextensional.Ryszard Wójcicki - 2003 - Studia Logica 73 (3):323 - 335.details
|
|
Deduction and Reduction Theorems for Inferential Erotetic Logic.Andrzej Wiśniewski - 2018 - Studia Logica 106 (2):295-309.details
|
|
On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language.Kai F. Wehmeier - 2021 - Erkenntnis 88 (1):193-213.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
|
|
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.details
|
|
A Shared Framework for Consequence Operations and Abstract Model Theory.Christian Wallmann - 2013 - Logica Universalis 7 (2):125-145.details
|
|
A deductive-reductive form of logic: General theory and intuitionistic case.Piotr Łukowski - 2002 - Logic and Logical Philosophy 10:59.details
|
|
Nonmonotonic theories and their axiomatic varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.details
|
|
An essay on resolution logics.Zbigniew Stachniak - 1993 - Studia Logica 52 (2):309 - 322.details
|
|
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.details
|
|
On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences.S. Roberto Arpaia - 2006 - History and Philosophy of Logic 27 (1):9-41.details
|
|
Tableau method of proof for Peirce’s three-valued propositional logic.José Renato Salatiel - forthcoming - Filosofia Unisinos:1-10.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
|
|
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
|
|
Non-involutive twist-structures.Umberto Rivieccio, Paulo Maia & Achim Jung - 2020 - Logic Journal of the IGPL 28 (5):973-999.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Common Logic of 2‐Valued Semigroup Connectives.Wolfgang Rautenberg - 1991 - Mathematical Logic Quarterly 37 (9‐12):187-192.details
|
|
Common Logic of 2-Valued Semigroup Connectives.Wolfgang Rautenberg - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):187-192.details
|
|
Axiomatizing logics closely related to varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.details
|
|
Twist-structures semantics for the logics of the hierarchy InPk.Fernando M. Ramos & Víctor L. Fernández - 2009 - Journal of Applied Non-Classical Logics 19 (2):183-209.details
|
|
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.details
|
|
On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz M. Radzki - 2017 - Axiomathes 27 (4):403-415.details
|
|
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.details
|
|
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.details
|
|