Publication:4281690
From MaRDI portal
zbMath0791.68149MaRDI QIDQ4281690
Publication date: 7 April 1994
Related Items
The tableau-based theorem prover 3 T A P Version 4.0, Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs, \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\), A first polynomial non-clausal class in many-valued logic, TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic, Analytic tableaux for non-deterministic semantics, Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics, An algorithm for random signed 3-SAT with intervals