You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
Functional Monadic Bounded Algebras
Studia Logica: An International Journal for Symbolic Logic
Vol. 96, No. 1 (October 2010), pp. 41-48
Published by: Springer
Stable URL: http://www.jstor.org/stable/40927706
Page Count: 8
Preview not available
The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by the disjunction of the equations ∃E = 1 and ∃E = 0. We also define a weaker notion of "relatively functional" algebra, and show that every member of MBA is isomorphic to a relatively functional one.
Studia Logica: An International Journal for Symbolic Logic © 2010 Springer