A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING

DOI10.1142/S0129054190000047MaRDI QIDQ3348392zbMATH OpenFDO

Authors V. S. Subrahmanian

Publication date 1990

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054190000047

zbMATH Keywords

semantics of multivalued logic programming

Mathematics Subject Classification ID

Many-valued logic (03B50) Distributive lattices (06D99) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:3199402
• Pseudo-Boolean valued Prolog
• scientific article; zbMATH DE number 4057054
• scientific article; zbMATH DE number 1091147
• Multi-valued logic programming semantics An algebraic approach

Cited in

(5)

• Pseudo-Boolean valued Prolog
• Paraconsistent disjunctive deductive databases
• scientific article; zbMATH DE number 1091147 (Why is no real title available?)
• scientific article; zbMATH DE number 2242590 (Why is no real title available?)
• Legality concepts for three-valued logic programs

This page was built for publication: A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING

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