R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

DOI10.1007/BF00370636zbMath0695.03006MaRDI QIDQ909651

Chris Brink

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

spherical geometrypolygroupsalgebraspower algebrarelevant implicationBoolean negationpower operationBoolean relevant logicsmultigroupoidrelational model structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) General theory of linear incidence geometry and projective geometries (51A05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other generalizations of groups (20N99)

Related Items

Towards automating duality ⋮ Duality for algebras of relevant logics ⋮ Algebraization of quantifier logics, an introductory overview ⋮ General frames for relevant modal logics ⋮ Power structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatorial aspects of relations
• Homomorphisms, homomorphic relations and power algebras
• An algebraic approach to non-classical logics
• Classical relevant logics. I
• Permanence of identities on algebras
• The validity of equations of complex algebras
• THE CONTINUOUS REALIZABILITY OF ENTAILMENT
• On varieties closed under the construction of power algebras
• POWER STRUCTURES AND LOGIC
• On the calculus of relations
• Spherical Geometries and Multigroups
• Boolean Algebras with Operators. Part I
• Projective Geometries as Multigroups
• Descriptive Geometries as Multigroups