POWER STRUCTURES AND LOGIC

DOI10.1080/16073606.1986.9632109zbMath0616.03042OpenAlexW2003726533MaRDI QIDQ4724631

Chris Brink

Publication date: 1986

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/16073606.1986.9632109

zbMATH Keywords

Boolean algebraentailmentpower algebrapower structuremany-valued propositional calculuspower ordering

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Many-valued logic (03B50) Structure theory of Boolean algebras (06E05) Ordered structures (06F99)

Related Items (5)

Angellic content ⋮ A comment on relevant truth table logic ⋮ A theory of truthmaker content. I: Conjunction, disjunction and negation ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ Power structures

Cites Work

• Homomorphisms, homomorphic relations and power algebras
• Intuitive semantics for first-degree entailments and `coupled trees'
• Permanence of identities on algebras
• The validity of equations of complex algebras
• SECOND-ORDER BOOLEAN ALGEBRAS
• On varieties closed under the construction of power algebras
• The Semantics of First Degree Entailment
• Boolean Algebras with Operators. Part I

This page was built for publication: POWER STRUCTURES AND LOGIC