scientific article
From MaRDI portal
Publication:3204442
zbMath0717.03005MaRDI QIDQ3204442
Michael Kifer, Eliezer L. Lozinskii
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)
Related Items (17)
Resolving contradictions: A plausible semantics for inconsistent systems ⋮ An overview of transaction logic ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ A semantics for reasoning consistently in the presence of inconsistency ⋮ Paraconsistent disjunctive deductive databases ⋮ A theory of nonmonotonic inheritance based on annotated logic ⋮ A logic for programming with complex objects ⋮ Probabilistic logic programming ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ On Theorem Proving in Annotated Logics ⋮ A Survey of Annotated Logics ⋮ Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs ⋮ A simple signed system for paraconsistent reasoning ⋮ Logic programs, well-orderings, and forward chaining ⋮ Interpreting disjunctive logic programs based on a strong sense of disjunction ⋮ A semantical framework for supporting subjective and conditional probabilities in deductive databases
This page was built for publication:
