Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
Studia Logica 100 (1-2):339-359 (2012)
| Abstract | This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s. In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with the join infinite distributivity and Heyting implication. Then some results on algebraic completeness and conservativity of Heyting implication in substructural predicate logics are obtained as their consequences | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. Studia Logica 83 (1-3):279 - 308.
Peter Jipsen (2004). From Semirings to Residuated Kleene Lattices. Studia Logica 76 (2):291 - 303.
Hélène Lejeune (2000). Paires Élémentaires de Corps Pseudo-Finis: Dénombrement Des Complétions (Elementary Pairs of Pseudo-Finite Fields: Counting Completions). Journal of Symbolic Logic 65 (2):705-718.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
J. L. Castiglioni & H. J. San Martín (2011). Compatible Operations on Residuated Lattices. Studia Logica 98 (1-2):203-222.
Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna (2002). On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic. Studia Logica 71 (2):199 - 226.
Nikolaos Galatos (2004). Equational Bases for Joins of Residuated-Lattice Varieties. Studia Logica 76 (2):227 - 240.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Takahiro Seki (2012). Metacompleteness of Substructural Logics. Studia Logica 100 (6):1175-1199.
Terrence Millar (1995). Model Completions and Omitting Types. Journal of Symbolic Logic 60 (2):654-672.
Constantine Tsinakis & Annika M. Wille (2006). Minimal Varieties of Involutive Residuated Lattices. Studia Logica 83 (1-3):407 - 423.
Sergiu Rudeanu & Dan A. Simovici (2006). On the Ranges of Algebraic Functions on Lattices. Studia Logica 84 (3):451 - 468.
Analytics
Monthly downloads |
Added to index2012-02-08Total downloads2 ( #232,684 of 549,694 )Recent downloads (6 months)1 ( #63,425 of 549,694 )How can I increase my downloads? |
My notes
Discussion
