POWER STRUCTURES AND LOGIC

DOI10.1080/16073606.1986.9632109MaRDI QIDQ4724631zbMATH OpenOpenAlexFDO

Authors 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 algebraentailmentmany-valued propositional calculuspower algebrapower orderingpower structure

Mathematics Subject Classification ID

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

Recommendations

• Power structures
• scientific article; zbMATH DE number 1222703
• scientific article; zbMATH DE number 2169341
• A comment on relevant truth table logic
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

Cites work

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

Cited in

(16)

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• Power structures
• Remarks on power structures
• Limits on power and rationality
• Angellic content
• Power matrices and Dunn-Belnap semantics: reflections on a remark of Graham Priest
• scientific article; zbMATH DE number 5702489 (Why is no real title available?)
• scientific article; zbMATH DE number 1204307 (Why is no real title available?)
• scientific article; zbMATH DE number 1222703 (Why is no real title available?)
• A comment on relevant truth table logic
• scientific article; zbMATH DE number 2169341 (Why is no real title available?)
• scientific article; zbMATH DE number 1867115 (Why is no real title available?)
• THE PSEUDOPOWER DICHOTOMY
• Verisimilitude and truthmaking
• Implying and containing in truthmaker semantics
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs

This page was built for publication: POWER STRUCTURES AND LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4724631)