- The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.details
|
|
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.details
|
|
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.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
|
|
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
|
|
Implicational logics II: additional connectives and characterizations of semilinearity.Petr Cintula & Carles Noguera - 2016 - Archive for Mathematical Logic 55 (3-4):353-372.details
|
|
Implicational logics III: completeness properties.Petr Cintula & Carles Noguera - 2018 - Archive for Mathematical Logic 57 (3-4):391-420.details
|
|
Implicational (semilinear) logics I: a new hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.details
|
|
A Henkin-style proof of completeness for first-order algebraizable logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.details
|
|
A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.details
|
|
An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.details
|
|
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.details
|
|
Behavioral algebraization of da Costa's C-systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.details
|
|
Behavioral Algebraization of Logics.Carlos Caleiro, Ricardo Gonçalves & Manuel Martins - 2009 - Studia Logica 91 (1):63-111.details
|
|
Abstract Valuation Semantics.Carlos Caleiro & Ricardo Gonçalves - 2013 - Studia Logica 101 (4):677-712.details
|
|
Leibniz interpolation properties.Leonardo Cabrer & José Gil-Férez - 2014 - Annals of Pure and Applied Logic 165 (4):933-962.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
|
|
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.details
|
|
Restricted Rules of Inference and Paraconsistency.Sankha S. Basu & Mihir K. Chakraborty - 2022 - Logic Journal of the IGPL 30 (3):534-560.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
|
|
The Suszko operator relative to truth‐equational logics.Hugo Albuquerque - 2021 - Mathematical Logic Quarterly 67 (2):226-240.details
|
|
Compatibility operators in abstract algebraic logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2016 - Journal of Symbolic Logic 81 (2):417-462.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
|
|
Judgment aggregation in nonmonotonic logic.Xuefeng Wen - 2018 - Synthese 195 (8):3651-3683.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
|
|
Logics with disjunction and proof by cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.details
|
|
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.details
|
|
Categorical abstract algebraic logic: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.details
|
|
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.George Voutsadakis - 2009 - Mathematical Logic Quarterly 55 (1):51-67.details
|
|
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.details
|
|
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.details
|
|
Categorical Abstract Algebraic Logic: Behavioral π-Institutions.George Voutsadakis - 2014 - Studia Logica 102 (3):617-646.details
|
|
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics.George Voutsadakis - 2013 - Studia Logica 101 (4):849-899.details
|
|
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (2):147-161.details
|
|
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.details
|
|
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.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
|
|
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.details
|
|
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.details
|
|
Inconsistency lemmas in algebraic logic.James G. Raftery - 2013 - Mathematical Logic Quarterly 59 (6):393-406.details
|
|
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.details
|
|
Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.details
|
|
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.details
|
|
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.details
|
|
The Lattice of Super-Belnap Logics.Adam Přenosil - 2023 - Review of Symbolic Logic 16 (1):114-163.details
|
|
Constructing Natural Extensions of Propositional Logics.Adam Přenosil - 2016 - Studia Logica 104 (6):1179-1190.details
|
|
Capturing Consequence.Alexander Paseau - 2019 - Review of Symbolic Logic 12 (2):271-295.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
|
|
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited.Anvar M. Nurakunov & Michał M. Stronkowski - 2013 - Studia Logica 101 (4):827-847.details
|
|
Glivenko Theorems for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Journal of Symbolic Logic 71 (4):1353 - 1384.details
|
|