Abstract
A propositional logic induced by means of commutative basic algebras was already described by M. Botur and R. Halas. It turns out that this is a kind of non-associative fuzzy logic which can be used e.g. in expert systems. Unfortunately, there are other important classes of basic algebras which are not commutative, e.g. orthomodular lattices which are used as an axiomatization of the logic of quantum mechanics. This motivated us to develop another axioms and derivation rules which form a propositional logic induced by basic algebras in general. We show that this logic is algebraizable in the sense of W. J. Blok and D. Pigozzi.
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.
