- Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls.Klaus Denecke - 1988 - Mathematical Logic Quarterly 34 (2):177-188.details
|
|
Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.details
|
|
Termination of logic programs with imperfect information: applications and query procedure.C. V. Damásio, J. Medina & M. Ojeda-Aciego - 2007 - Journal of Applied Logic 5 (3):435-458.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Da Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.details
|
|
Logics and operators.Janusz Czelakowski - 1995 - Logic and Logical Philosophy 3:87-100.details
|
|
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.details
|
|
Skew lattices and binary operations on functions.Karin Cvetko-Vah, Jonathan Leech & Matthew Spinks - 2013 - Journal of Applied Logic 11 (3):253-265.details
|
|
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.details
|
|
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras.Juan Manuel Cornejo & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (4):408-428.details
|
|
Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol.J. P. Cleave - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):481-500.details
|
|
Algebraization of Jaśkowski’s Paraconsistent Logic D2.Janusz Ciuciura - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):173-193.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
|
|
Abstract Valuation Semantics.Carlos Caleiro & Ricardo Gonçalves - 2013 - Studia Logica 101 (4):677-712.details
|
|
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.details
|
|
Topological Representation of Intuitionistic and Distributive Abstract Logics.Andreas Bernhard Michael Brunner & Steffen Lewitzka - 2017 - Logica Universalis 11 (2):153-175.details
|
|
Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.details
|
|
Fuzzy intensional semantics.Libor Běhounek & Ondrej Majer - 2018 - Journal of Applied Non-Classical Logics 28 (4):348-388.details
|
|
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.details
|
|
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.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
|
|
Principal Congruences of Demi‐Pseudocomplemented Ockham Algebras and Applications.Hanamantagouda P. Sankappanavar - 1991 - Mathematical Logic Quarterly 37 (31-32):489-494.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.details
|
|
On The Role of The Polynomial →Y in Some Implicative Algebras.Antoni Torrens - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):117-122.details
|
|
Cyclic Elements in MV‐Algebras and Post Algebras.Antoni Torrens - 1994 - Mathematical Logic Quarterly 40 (4):431-444.details
|
|
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.details
|
|
Mass Problems and Intuitionism.Stephen G. Simpson - 2008 - Notre Dame Journal of Formal Logic 49 (2):127-136.details
|
|
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.details
|
|
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.details
|
|
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.details
|
|
Das Homomorphietheorem für MV-Algebren Endlicher Ordnung.Dietrich Schwartz - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):141-148.details
|
|
A completeness theorem for correlation lattices.Dietmar Schweigert & Magdalena Szymańska - 1983 - Mathematical Logic Quarterly 29 (8):427-434.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
|
|
Semi-de Morgan algebras.Hanamantagouda P. Sankappanavar - 1987 - Journal of Symbolic Logic 52 (3):712-724.details
|
|
Principal Congruences of Pseudocomplemented Demorgan Algebras.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (1):3-11.details
|
|
Heyting Algebras with a Dual Lattice Endomorphism.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (6):565-573.details
|
|
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.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
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.details
|
|
Natural Deduction for Post’s Logics and their Duals.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (1-2):83-100.details
|
|
Algebraization of the Three-valued BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2002 - Mathematical Logic Quarterly 48 (2):163-178.details
|
|
Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.details
|
|
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites.Newton C. A. Costa & Robert G. Wolf - 1980 - Philosophia 9 (2):189-217.details
|
|
The semantic isomorphism theorem in abstract algebraic logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.details
|
|
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.details
|
|
On deductive bases for paraconsistent answer set semantics.N. V. Mayatskiy & S. P. Odintsov - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):131-146.details
|
|
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.Minghui Ma & Fei Liang - 2018 - Studia Logica 106 (3):565-593.details
|
|