Publication:4281690
From MaRDI portal
zbMath0791.68149MaRDI QIDQ4281690
Publication date: 7 April 1994
Related Items
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs, \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\), TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic, An algorithm for random signed 3-SAT with intervals