scientific article
From MaRDI portal
Publication:3786473
zbMath0644.03015MaRDI QIDQ3786473
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural language semanticsHorn clausesthree-valued logiccomplete proof systemnegative resolutionPROLOG-style proof procedure
Logic of natural languages (03B65) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)
Related Items
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 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)\)
