scientific article; zbMATH DE number 512980

zbMath0791.68149MaRDI QIDQ4281690

Reiner Hähnle

Publication date: 7 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

multiple-valued logicsnon-standard logicstableau-based theorem provers

Mathematics Subject Classification ID

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, Analytic tableaux for non-deterministic semantics, An algorithm for random signed 3-SAT with intervals, A first polynomial non-clausal class in many-valued logic, Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics, The tableau-based theorem prover 3 T A P Version 4.0, \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\), Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs