scientific article; zbMATH DE number 3866574
From MaRDI portal
Publication:3334069
zbMATH Open0544.68027MaRDI QIDQ3334069FDOQ3334069
Authors: Alan Mycroft
Publication date: 1984
Title of this publication is not available (Why is that?)
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
terminationHorn clausesequivalence of declarative and procedural interpretationslooping programsstrong correctnessunder-defined clauses
Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Cited In (14)
- Legality concepts for three-valued logic programs
- Local multi-valued logics in modular expert systems
- Multi-dimensional logic programming: theoretical foundations
- Programming in three-valued logic
- Optimal fixedpoints of logic programs
- Logic programming: laxness and saturation
- Title not available (Why is that?)
- 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)