Data types over multiple-valued logics
type: Item
instance of: scholarly article
title: Data types over multiple-valued logics
zbMATH Open document ID: 0716.03012
DOI: 10.1016/0304-3975(90)90119-3
author: Don Pigozzi
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03G99
zbMATH DE Number: 4179338
zbMATH Keywords: equality-test algebra
zbMATH Keywords: many-sorted algebra
zbMATH Keywords: data structures
zbMATH Keywords: conditional- equational theory
zbMATH Keywords: nonclassical equality-test data types
MaRDI profile type: Publication
full work available at URL: 0304-3975(90)90119-3
OpenAlex ID: W1969761219
cites work: Q4083730
cites work: Q3206928
cites work: Algebraizable logics
cites work: Varieties of ”If-Then-Else“
cites work: Q3889025
cites work: A propositional calculus with denumerable matrix
cites work: Q3221381
cites work: A kripke-kleene semantics for logic programs*
cites work: The logic of inexact concepts
cites work: Q3817573
cites work: On the Axiomatization of “If-Then-Else”
cites work: Q5572358
cites work: Q3925859
cites work: The algebra of conditional logic
cites work: Logic with truth values in A linearly ordered heyting algebra
cites work: Q5812175
cites work: Negation in logic programming
cites work: Optimal fixedpoints of logic programs
cites work: Q3268305
cites work: Q3673087
cites work: Why Horn formulas matter in computer science: initial structures and generic examples
cites work: Equational Bases for If–Then–Else
cites work: Q5586197
cites work: Q3032225
cites work: Q3687683
cites work: Q3334069
cites work: Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
cites work: An algebraic approach to non-classical logics
cites work: Q5661846
cites work: Q3960746
cites work: Q5779170
cites work: Some remarks on the consequence operation in sentential logics
cites work: Theory of logical calculi. Basic theory of consequence operations
description: scientific article; zbMATH DE number 4179338