- A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus.Aldo Victorio Figallo, Estela Bianco & Alicia Ziliani - 2014 - Open Journal of Philosophy 4 (3):319-331.details
|
|
Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.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
|
|
On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (4):785-.details
|
|
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
|
|
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
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|
Constructible models of orthomodular quantum logics.Piotr Wilczek - unknowndetails
|
|
On equivalential fragment of the implicative extensional consequence.Jacek K. Kabzinski - 1981 - Bulletin of the Section of Logic 10 (3):135-138.details
|
|
A matrix adequate for s5 with mp and rn.Jacek Hawranek - 1980 - Bulletin of the Section of Logic 9 (3):122-123.details
|
|
Residuation subreducts of pocrigs.Janis Cırulis - 2010 - Bulletin of the Section of Logic 39 (1/2):11-16.details
|
|
Non-existence of a countable strongly adequate matrix semantics for neighbours of E.Wies law Dziobiak - 1981 - Bulletin of the Section of Logic 10 (4):170-174.details
|
|