scientific article; zbMATH DE number 1441841

MaRDI QIDQ4951497zbMATH OpenFDO

Authors Michiro Kondo

Publication date 8 May 2000

zbMATH Keywords

artificial intelligenceaxiomatization of the theory of bilatticessemantics

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Logic programming (68N17) General topics in artificial intelligence (68T01)

Recommendations

• Bilattices and reasoning in artificial intelligence: Concepts and foundations
• Axiomatization of a basic logic of logical bilattices
• Bilattices and the semantics of logic programming
• scientific article; zbMATH DE number 4058826
• Bilateralism in proof-theoretic semantics
• Filter theory of bilattices in the semantics of logic programming
• Bialgebraic semantics for logic programming
• Axioms for a theory of semantic equivalence
• scientific article; zbMATH DE number 4204324
• Axiomatization of a Denotational Semantics for First-order Logic

This page was built for publication:

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