Logics Which Are Characterized by Subresiduated Lattices
Mathematical Logic Quarterly 22 (1):199-210 (1976)
Abstract
This article has no associated abstract. (fix it)DOI
10.1002/malq.19760220128
My notes
Similar books and articles
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Automorphisms of orthomodular lattices and symmetries of quantum logics.Věra Trnková - 1991 - Foundations of Physics 21 (7):855-860.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Analytics
Added to PP
2013-11-24
Downloads
11 (#846,002)
6 months
1 (#450,425)
2013-11-24
Downloads
11 (#846,002)
6 months
1 (#450,425)
Historical graph of downloads
Citations of this work
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Quasi-subtractive varieties.Tomasz Kowalski, Francesco Paoli & Matthew Spinks - 2011 - Journal of Symbolic Logic 76 (4):1261-1286.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hernán J. San Martín - 2012 - Studia Logica 100 (1-2):91-114.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
