Graduate studies at Western
Studia Logica 89 (1):1 - 18 (2008)
|Abstract||Action logic of Pratt  can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of a finite monoid and action lattices of binary relations on a finite universe. We also discuss possible applications in linguistics.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
J. L. Castiglioni & H. J. San Martín (2011). Compatible Operations on Residuated Lattices. Studia Logica 98 (1-2):203-222.
Marcin Mostowski & Jakub Szymanik (2007). Computational Complexity of Some Ramsey Quantifiers in Finite Models. The Bulletin of Symbolic Logic 13:281--282.
Sergei P. Odintsov (2004). On the Representation of N4-Lattices. Studia Logica 76 (3):385 - 405.
Wojciech Buszkowski (2007). Type Logics and Pregroups. Studia Logica 87 (2-3):145 - 169.
Romà J. Adillon & Ventura Verdú (2000). On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Studia Logica 65 (1):11-30.
Josep M. Font & Ventura Verdú (1991). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 50 (3-4):391 - 419.
J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.
Jan van Eijck (2012). Action Emulation. Synthese 185 (1):131-151.
Peter Jipsen (2004). From Semirings to Residuated Kleene Lattices. Studia Logica 76 (2):291 - 303.
Added to index2009-01-28
Total downloads4 ( #189,469 of 740,703 )
Recent downloads (6 months)0
How can I increase my downloads?