Finitely generated free tetravalent modal algebras

DOI10.1016/0012-365X(83)90268-6zbMath0523.03055MaRDI QIDQ1056747

Isabel Loureiro

Publication date: 1983

Published in: Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

finitely generatedfree generatorsequational algebratetravalent modal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Algebraic structures (08A99) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (3)

Algebraic structures in the vicinity of pre-rough algebra and their logics. II ⋮ An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra ⋮ An abstract algebraic logic approach to tetravalent modal logics

Cites Work

• Prime spectrum of a tetravalent modal algebra
• Postulates For Distributive Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finitely generated free tetravalent modal algebras