Constructive mathematical descriptions of subject domains

DOI10.1007/BF01070580zbMath0676.03006MaRDI QIDQ3830970

No author found.

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

deductive systemalgebras of Kleene's three-valued logicconstruction of mathematical models of subject domains

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Data structures (68P05) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A kripke-kleene semantics for logic programs*