Abstract
The notion of monadic three-valued Łukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued Łukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued Łukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations ∃ and ∃* such that ∃∀*x=∀*∃x (where ∀*x=-∃*-x). In this case we shall say that ∃ and ∃* commutes. If B is finite and ∃ is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ∃* which commute with ∃. Taking into account R. Mayet [3] we also construct a monadic three-valued Łukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Union Matematica Argentina (October 1989, Rosario, Argentina).
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
