Data types over multiple-valued logics

DOI10.1016/0304-3975(90)90119-3MaRDI QIDQ752687zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• EQ-algebras
• Non-commutative first-order EQ-logics
• Results on equality algebras
• scientific article; zbMATH DE number 5520316

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3866574 (Why is no real title available?)
• scientific article; zbMATH DE number 3827186 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• scientific article; zbMATH DE number 3695147 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3783068 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3392404 (Why is no real title available?)
• scientific article; zbMATH DE number 3039721 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• A propositional calculus with denumerable matrix
• Algebraizable logics
• An algebraic approach to non-classical logics
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Equational Bases for If–Then–Else
• Logic with truth values in A linearly ordered heyting algebra
• Negation in logic programming
• On the Axiomatization of “If-Then-Else”
• Optimal fixedpoints of logic programs
• Some remarks on the consequence operation in sentential logics
• The algebra of conditional logic
• The logic of inexact concepts
• Theory of logical calculi. Basic theory of consequence operations
• Varieties of ”If-Then-Else“
• Why Horn formulas matter in computer science: initial structures and generic examples

Cited in

(5)

• Boolean product representations of algebras via binary polynomials
• A mathematical life
• Non-commutative propositional logic with short-circuit evaluation
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Circumscription in Data Logic for Data Type Specification

This page was built for publication: Data types over multiple-valued logics

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