- Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.details
|
|
Foreword. [REVIEW]J. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):3-12.details
|
|
Paraconsistent Algebras.Walter Alexandre Carnielli & Luiz Paulo de Alcantara - 1984 - Studia Logica 43 (1):79-88.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.details
|
|
Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.details
|
|
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.details
|
|
Wajsberg algebras and post algebras.Antonio Jesús Rodríguez & Antoni Torrens - 1994 - Studia Logica 53 (1):1 - 19.details
|
|
${\rm C}_1$ is not algebraizable.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 1991 - Notre Dame Journal of Formal Logic 32 (4):609-611.details
|
|
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Universal algebra.Karl Meinke & John V. Tucker - 1992 - Journal of Symbolic Logic 38 (4):1--189.details
|
|
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.details
|
|
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.details
|
|
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.details
|
|
Leibniz filters and the strong version of a protoalgebraic logic.Josep Maria Font & Ramon Jansana - 2001 - Archive for Mathematical Logic 40 (6):437-465.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details
|
|
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.details
|
|
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.details
|
|
Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.details
|
|
Paraconsistent algebras.Walter Alexandre Carnielli & Luiz Paulo Alcantara - 1984 - Studia Logica 43 (1-2):79 - 88.details
|
|
Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.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
|
|
George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp. [REVIEW]Kirby A. Baker - 1973 - Journal of Symbolic Logic 38 (4):643-644.details
|
|
Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.details
|
|
Non truth-functional many-valuedness.Jean-Yves Beziau - manuscriptdetails
|
|
Théorie de la valuation.Newton Ca da Costa & Jean-Yves Béziau - 1994 - Logique Et Analyse 146 (146):95-117.details
|
|
An algebraic characterization of the notion of structural completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.details
|
|
Non-deterministic Matrices and Modular Semantics of Rules.Arnon Avron - unknowndetails
|
|