- Complete additivity and modal incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.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
|
|
A Deterministic Weakening of Belnap–Dunn Logic.Minghui Ma & Yuanlei Lin - 2019 - Studia Logica 107 (2):283-312.details
|
|
Extension Properties and Subdirect Representation in Abstract Algebraic Logic.Tomáš Lávička & Carles Noguera - 2018 - Studia Logica 106 (6):1065-1095.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
|
|
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
|
|
On the Deductive System of the Order of an Equationally Orderable Quasivariety.Ramon Jansana - 2016 - Studia Logica 104 (3):547-566.details
|
|
(1 other version)Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.details
|
|
Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.details
|
|
(2 other versions)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
|
|
(1 other version)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
|
|
(1 other version)An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.details
|
|
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.details
|
|
(1 other version)Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.details
|
|
Sequent Calculi for Semi-De Morgan and De Morgan Algebras.Minghui Ma & Fei Liang - 2018 - Studia Logica 106 (3):565-593.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
|
|
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 of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.details
|
|
(1 other version)Heyting Algebras with a Dual Lattice Endomorphism.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (6):565-573.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
|
|
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
|
|
(1 other version)Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.details
|
|
Algebraization of Jaśkowski’s Paraconsistent Logic D2.Janusz Ciuciura - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):173-193.details
|
|
The semantic isomorphism theorem in abstract algebraic logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.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
|
|
(1 other version)Finite replacement and finite Hilbert-style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):327-344.details
|
|
(1 other version)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
|
|
On Confusions About Bivalence and Excluded Middle.David DeVidi & Graham Solomon - 1999 - Dialogue 38 (4):785-.details
|
|
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.details
|
|
Mass Problems and Intuitionism.Stephen G. Simpson - 2008 - Notre Dame Journal of Formal Logic 49 (2):127-136.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
|
|
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.details
|
|
Semi-de Morgan algebras.Hanamantagouda P. Sankappanavar - 1987 - Journal of Symbolic Logic 52 (3):712-724.details
|
|
The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.details
|
|
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.details
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|
Extended-order algebras.Cosimo Guido & Paola Toto - 2008 - Journal of Applied Logic 6 (4):609-626.details
|
|
S-algebras and the degrees of maximality of three and four valued logics of Łukasiewicz.Grzegorz Malinowski - 1974 - Studia Logica 33 (4):359-370.details
|
|
(1 other version)Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.details
|
|
(1 other version)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
|
|
A matrix adequate for s5 with mp and rn.Jacek Hawranek - 1980 - Bulletin of the Section of Logic 9 (3):122-123.details
|
|
(1 other version)Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.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
|
|
(1 other version)Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.details
|
|
(1 other version)An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.details
|
|
Fuzzy intensional semantics.Libor Běhounek & Ondrej Majer - 2018 - Journal of Applied Non-Classical Logics 28 (4):348-388.details
|
|
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.details
|
|
(1 other version)Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls.Klaus Denecke - 1988 - Mathematical Logic Quarterly 34 (2):177-188.details
|
|
(2 other versions)Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.details
|
|