A decidable first-order logic for knowledge representation
From MaRDI portal
Publication:2640590
DOI10.1007/BF00244354zbMath0721.03016OpenAlexW2053017611MaRDI QIDQ2640590
Publication date: 1990
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00244354
Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other applications of logic (03B80)
Related Items (3)
On the complexity of entailment in propositional multivalued logics ⋮ The complexity of minimum partial truth assignments and implication in negation-free formulae ⋮ Tractable reasoning via approximation
This page was built for publication: A decidable first-order logic for knowledge representation
