Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
Graduate studies at Western
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||regular completions Crawley completions infinite distributivities residuated lattices algebraic completeness substructural predicate logics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
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.
Added to index2012-02-08
Total downloads2 ( #246,970 of 740,104 )
Recent downloads (6 months)1 ( #61,960 of 740,104 )
How can I increase my downloads?