Graduate studies at Western
Studia Logica 76 (2):291 - 303 (2004)
|Abstract||We consider various classes of algebras obtained by expanding idempotent semirings with meet, residuals and Kleene-*. An investigation of congruence properties (e-permutability, e-regularity, congruence distributivity) is followed by a section on algebraic Gentzen systems for proving inequalities in idempotent semirings, in residuated lattices, and in (residuated) Kleene lattices (with cut). Finally we define (one-sorted) residuated Kleene lattices with tests to complement two-sorted Kleene algebras with tests.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Nikolaos Galatos (2004). Equational Bases for Joins of Residuated-Lattice Varieties. Studia Logica 76 (2):227 - 240.
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
D. Castaño, J. P. Díaz Varela & A. Torrens (2011). Free-Decomposability in Varieties of Pseudocomplemented Residuated Lattices. Studia Logica 98 (1-2):223-235.
Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100 (1-2):339-359.
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
Constantine Tsinakis & Annika M. Wille (2006). Minimal Varieties of Involutive Residuated Lattices. Studia Logica 83 (1-3):407 - 423.
J. L. Castiglioni & H. J. San Martín (2011). Compatible Operations on Residuated Lattices. Studia Logica 98 (1-2):203-222.
Wojciech Buszkowski & Ewa Palka (2008). Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89 (1):1 - 18.
J. L. Castiglioni, M. Menni & M. Sagastume (2008). On Some Categories of Involutive Centered Residuated Lattices. Studia Logica 90 (1):93 - 124.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,381 of 739,345 )
Recent downloads (6 months)0
How can I increase my downloads?