- Physics is Organized Around Transformations Connecting Contextures in a Polycontextural World.Johannes Falk, Edwin Eichler, Katja Windt & Marc-Thorsten Hütt - 2022 - Foundations of Science 27 (3):1229-1251.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
|
|
Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.details
|
|
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.details
|
|
Judgment aggregation in nonmonotonic logic.Xuefeng Wen - 2018 - Synthese 195 (8):3651-3683.details
|
|
On the Deductive System of the Order of an Equationally Orderable Quasivariety.Ramon Jansana - 2016 - Studia Logica 104 (3):547-566.details
|
|
Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.details
|
|
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.details
|
|
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 191--205.details
|
|
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.details
|
|
The Proof by Cases Property and its Variants in Structural Consequence Relations.Petr Cintula & Carles Noguera - 2013 - Studia Logica 101 (4):713-747.details
|
|
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.details
|
|
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.details
|
|
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.details
|
|
Algebraic logic for the negation fragment of classical logic.Luciano J. González - forthcoming - Logic Journal of the IGPL.details
|
|
Lógica, ordem e sistemas implicativos.Cristiane Alexandra Lázaro, Hércules de Araujo Feitosa & Marcelo Reicher Soares - 2019 - Veritas – Revista de Filosofia da Pucrs 64 (3):e32214.details
|
|
Restricted Rules of Inference and Paraconsistency.Sankha S. Basu & Mihir K. Chakraborty - 2022 - Logic Journal of the IGPL 30 (3):534-560.details
|
|
Is there a neutral metalanguage?Rea Golan - 2019 - Synthese 198 (Suppl 20):4831-4858.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 infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.details
|
|
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.George Voutsadakis - 2013 - Studia Logica 101 (4):849-899.details
|
|
On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth.Abilio Rodrigues & Walter Carnielli - forthcoming - Logic and Logical Philosophy:1-26.details
|
|
On the complexity of the Leibniz hierarchy.Tommaso Moraschini - 2019 - Annals of Pure and Applied Logic 170 (7):805-824.details
|
|
Algebraic Analysis of Demodalised Analytic Implication.Antonio Ledda, Francesco Paoli & Michele Pra Baldi - 2019 - Journal of Philosophical Logic 48 (6):957-979.details
|
|
Proof systems for the coalgebraic cover modality.Marta Bílková, Alessandra Palmigiano & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.details
|
|
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.details
|
|
Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.details
|
|
Willem Blok's Contribution to Abstract Algebraic Logic.Ramon Jansana - 2006 - Studia Logica 83 (1-3):31-48.details
|
|
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.details
|
|
A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.details
|
|
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.details
|
|
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.details
|
|
Implicational (semilinear) logics I: a new hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.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
|
|
On an axiomatic system for the logic of linearly ordered BCI-matrices.San-min Wang & Dao-Wu Pei - 2012 - Archive for Mathematical Logic 51 (3-4):285-297.details
|
|
Leibniz-linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.details
|
|
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.details
|
|
The Lattice of Super-Belnap Logics.Adam Přenosil - 2023 - Review of Symbolic Logic 16 (1):114-163.details
|
|
Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.details
|
|
Implicational logics III: completeness properties.Petr Cintula & Carles Noguera - 2018 - Archive for Mathematical Logic 57 (3-4):391-420.details
|
|
Algebraizable logics and a functorial encoding of its morphisms.Darllan Conceição Pinto & Hugo Luiz Mariano - 2017 - Logic Journal of the IGPL 25 (4):524-561.details
|
|
A New View of Effects in a Hilbert Space.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2016 - Studia Logica 104 (6):1145-1177.details
|
|
Constructing Natural Extensions of Propositional Logics.Adam Přenosil - 2016 - Studia Logica 104 (6):1179-1190.details
|
|
Behavioral Algebraization of Logics.Carlos Caleiro, Ricardo Gonçalves & Manuel Martins - 2009 - Studia Logica 91 (1):63-111.details
|
|
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.details
|
|
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.details
|
|
Cut elimination and strong separation for substructural logics: an algebraic approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.details
|
|
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions.Juan Manuel Cornejo & Hanamantagouda P. Sankappanavar - 2022 - Bulletin of the Section of Logic 51 (4):555-645.details
|
|