Data types over multiple-valued logics

DOI10.1016/0304-3975(90)90119-3zbMath0716.03012OpenAlexW1969761219MaRDI QIDQ752687

Don Pigozzi

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90119-3

zbMATH Keywords

data structuresmany-sorted algebraconditional- equational theoryequality-test algebranonclassical equality-test data types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Algebraic logic (03G99) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05)

Related Items

A Mathematical Life, Boolean product representations of algebras via binary polynomials, Non-commutative propositional logic with short-circuit evaluation

Cites Work

• The algebra of conditional logic
• Optimal fixedpoints of logic programs
• Why Horn formulas matter in computer science: initial structures and generic examples
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• The logic of inexact concepts
• A propositional calculus with denumerable matrix
• Varieties of ”If-Then-Else“
• A kripke-kleene semantics for logic programs*
• On the Axiomatization of “If-Then-Else”
• Equational Bases for If–Then–Else
• Negation in logic programming
• Algebraizable logics
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Logic with truth values in A linearly ordered heyting algebra
• Some remarks on the consequence operation in sentential logics
• 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
• Unnamed Item
• Unnamed Item