scientific article

zbMath0644.03015MaRDI QIDQ3786473

Peter H. Schmitt

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

natural language semanticsHorn clausesthree-valued logiccomplete proof systemnegative resolutionPROLOG-style proof procedure

Mathematics Subject Classification ID

Logic of natural languages (03B65) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (8)

TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic ⋮ Intuitionistic three-valued logic and logic programming ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ A three-valued approach to default logic ⋮ A resolution framework for finitely-valued first-order logics ⋮ Resolution approximation of first-order logics ⋮ The tableau-based theorem prover 3 T A P Version 4.0 ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)

This page was built for publication: