Data types over multiple-valued logics

DOI10.1016/0304-3975(90)90119-3zbMATH Open0716.03012OpenAlexW1969761219MaRDI QIDQ752687FDOQ752687

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

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 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)

Cites Work

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

Cited In (5)

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

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)