Optimal finite-valued covers of Hilbert calculi are computable, and a calculus has an effective sequential finite-valued approximation exactly when its theorem set is decidable.
In: 24th International Symposium on Multiple-valued Logic
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Effective Finite-Valued Approximations of General Propositional Logics
Optimal finite-valued covers of Hilbert calculi are computable, and a calculus has an effective sequential finite-valued approximation exactly when its theorem set is decidable.