David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 83 (1-3):425-445 (2006)
A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters and use this to characterize the subvarieties of B with EDPC and also the discriminator varieties. A variety generated by a finite biresiduation algebra is shown to be a subvariety of B. The lattice of subvarieties of B is investigated; we show that there are precisely three finitely generated covers of the atom.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Wolfgang Rump & Yi Chuan Yang (2014). Non-Commutative Logical Algebras and Algebraic Quantales. Annals of Pure and Applied Logic 165 (2):759-785.
Similar books and articles
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Tomasz Kowalski (2004). Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Studia Logica 77 (2):255 - 265.
Francesco Paoli, Matthew Spinks & Robert Veroff (2008). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2 (2):209-233.
Barbara Klunder (2000). Varieties of Pseudo-Interior Algebras. Studia Logica 65 (1):113-136.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Júlia Vaz de Carvalho (2010). On the Variety of M -Generalized Łukasiewicz Algebras of Order N. Studia Logica 94 (2):291-305.
M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
C. J. Van Alten (2006). On Varieties of Biresiduation Algebras. Studia Logica 83 (1/3):425 - 445.
Added to index2009-01-28
Total downloads7 ( #212,552 of 1,679,436 )
Recent downloads (6 months)1 ( #182,836 of 1,679,436 )
How can I increase my downloads?