scientific article; zbMATH DE number 512980
From MaRDI portal
Publication:4281690
Recommendations
Cited in
(20)- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic
- Tableaus with invertible rules for many-valued modal propositional logics
- 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
- scientific article; zbMATH DE number 1612565 (Why is no real title available?)
- Classic-like cut-based tableau systems for finite-valued logics
- Classic-Like Analytic Tableaux for Finite-Valued Logics
- Systematization of finite many-valued logics through the method of tableaux
- scientific article; zbMATH DE number 63610 (Why is no real title available?)
- The tableau-based theorem prover 3 T A P Version 4.0
- scientific article; zbMATH DE number 834573 (Why is no real title available?)
- scientific article; zbMATH DE number 1395652 (Why is no real title available?)
- 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
- The HOL-CSP Refinement Toolkit
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281690)
