Data types over multiple-valued logics
From MaRDI portal
Publication:752687
DOI10.1016/0304-3975(90)90119-3zbMath0716.03012OpenAlexW1969761219MaRDI QIDQ752687
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
data structuresmany-sorted algebraconditional- equational theoryequality-test algebranonclassical equality-test data types
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