- Constructible models of orthomodular quantum logics.Piotr Wilczek - unknowndetails
|
|
On the logic of distributive nearlattices.Luciano J. González - 2022 - Mathematical Logic Quarterly 68 (3):375-385.details
|
|
Logics of variable inclusion and the lattice of consequence relations.Michele Pra Baldi - 2020 - Journal of Applied Non-Classical Logics 30 (4):367-381.details
|
|
Non-involutive twist-structures.Umberto Rivieccio, Paulo Maia & Achim Jung - 2020 - Logic Journal of the IGPL 28 (5):973-999.details
|
|
Epimorphisms, Definability and Cardinalities.T. Moraschini, J. G. Raftery & J. J. Wannenburg - 2020 - Studia Logica 108 (2):255-275.details
|
|
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.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
|
|
Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.details
|
|
Paraconsistent Belief Revision: An Algebraic Investigation.Massimiliano Carrara, Davide Fazio & Michele Pra Baldi - 2022 - Erkenntnis 89 (2):725-753.details
|
|
A Substructural Gentzen Calculus for Orthomodular Quantum Logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - 2023 - Review of Symbolic Logic 16 (4):1177-1198.details
|
|
The semantic isomorphism theorem in abstract algebraic logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.details
|
|
Behavioral equivalence of hidden k -logics: An abstract algebraic approach.Sergey Babenyshev & Manuel A. Martins - 2016 - Journal of Applied Logic 16:72-91.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
On the Deductive System of the Order of an Equationally Orderable Quasivariety.Ramon Jansana - 2016 - Studia Logica 104 (3):547-566.details
|
|
Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.details
|
|
On the complexity of the Leibniz hierarchy.Tommaso Moraschini - 2019 - Annals of Pure and Applied Logic 170 (7):805-824.details
|
|
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.details
|
|
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.details
|
|
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.details
|
|
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.details
|
|
Join-completions of partially ordered algebras.José Gil-Férez, Luca Spada, Constantine Tsinakis & Hongjun Zhou - 2020 - Annals of Pure and Applied Logic 171 (10):102842.details
|
|
A Deterministic Weakening of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2019 - Studia Logica 107 (2):283-312.details
|
|
Implicational Tonoid Logics: Algebraic and Relational Semantics.Eunsuk Yang & J. Michael Dunn - 2021 - Logica Universalis 15 (4):435-456.details
|
|
Leibniz interpolation properties.Leonardo Cabrer & José Gil-Férez - 2014 - Annals of Pure and Applied Logic 165 (4):933-962.details
|
|
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.details
|
|
Algebraizable logics with a strong conjunction and their semi-lattice based companions.Ramon Jansana - 2012 - Archive for Mathematical Logic 51 (7-8):831-861.details
|
|
Partially Undetermined Many-Valued Events and Their Conditional Probability.Franco Montagna - 2012 - Journal of Philosophical Logic 41 (3):563-593.details
|
|
Logics of upsets of De Morgan lattices.Adam Přenosil - forthcoming - Mathematical Logic Quarterly.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):49-76.details
|
|
(1 other version)Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5.Lloyd Humberstone - 2006 - Journal of Philosophical Logic 35 (5):435-487.details
|
|
Performability of Actions.Janusz Czelakowski - 2021 - Journal of Logic, Language and Information 30 (4):753-804.details
|
|
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts.Janusz Czelakowski - 2006 - Studia Logica 83 (1-3):183-214.details
|
|
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.details
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|
Birkhoff’s and Mal’cev’s Theorems for Implicational Tonoid Logics.Eunsuk Yang - 2023 - Studia Logica 111 (3):501-519.details
|
|
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.details
|
|
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.details
|
|
Nikolaos Galatos.Hiroakira Ono - 2006 - Studia Logica 83 (1-3):1-32.details
|
|