Peirce algebras

DOI10.1007/BF01215410zbMath0811.03047OpenAlexW4253932082MaRDI QIDQ1333408

Renate A. Schmidt, Chris Brink, Katarina Britz

Publication date: 1 May 1995

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01215410

zbMATH Keywords

knowledge representationrelation algebrasPeirce algebradynamic algebrasterminological logicsweakest prespecificationBoolean modulestwo-sorted algebra

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (7)

The logic of Peirce algebras ⋮ Diagrammatic Reasoning with Classes and Relationships ⋮ First-Order Resolution Methods for Modal Logics ⋮ A system of dynamic modal logic ⋮ Congruences and ideals on Boolean modules: a heterogeneous point of view ⋮ A new methodology for developing deduction methods ⋮ Multigrade extension of relational grammar

Cites Work

• Prespecification in data refinement
• Attributive concept descriptions with complements
• A sequent calculus for relation algebras
• Varieties of relation algebras
• Cylindric algebras. Part II
• The weakest prespecification
• A four-valued semantics for terminological logics
• A proof system for the first-order relational calculus
• Boolean modules
• A note on the tense logic of dominoes
• The KL-ONE family
• Subsumption computed algebraically
• Variable-free semantics for anaphora
• On the calculus of relations
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Peirce algebras