scientific article; zbMATH DE number 3866574

MaRDI QIDQ3334069zbMATH OpenFDO

Authors Alan Mycroft

Publication date 1984

zbMATH Keywords

terminationHorn clausesequivalence of declarative and procedural interpretationslooping programsstrong correctnessunder-defined clauses

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Many-valued computational logics
• scientific article; zbMATH DE number 1076964
• Multi-valued semantics for logic programs
• Many-valued logics
• scientific article; zbMATH DE number 560935
• scientific article; zbMATH DE number 1749199
• Many-valued logics
• scientific article; zbMATH DE number 764342
• Multi-valued logic programming semantics An algebraic approach
• Two-valued logic programs

Cited in

(14)

• Legality concepts for three-valued logic programs
• Programming in three-valued logic
• Multi-dimensional logic programming: theoretical foundations
• Optimal fixedpoints of logic programs
• Local multi-valued logics in modular expert systems
• Logic programming: laxness and saturation
• scientific article; zbMATH DE number 4139316 (Why is no real title available?)
• Resolution approximation of first-order logics
• Logic Programs under Three-Valued Łukasiewicz Semantics
• A three-valued semantics for logic programmers
• Data types over multiple-valued logics
• Many-valued computational logics
• Is there an axiomatic semantics for standard pure Prolog?
• The expressive power of stratified logic programs with value invention

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 Q3334069)