Publication:4263005
From MaRDI portal
zbMath0931.03066MaRDI QIDQ4263005
Matthias Baaz, Christian G. Fermüller
Publication date: 21 November 1999
structural rules; truth functions; finite-valued logics; projective logics; cut rules; Gentzen type calculi; infinite-valued Gödel logic; projective propositional logics
68T27: Logic in artificial intelligence
03B50: Many-valued logic
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Proof theory for locally finite many-valued logics: semi-projective logics, Normal forms for fuzzy logics: a proof-theoretic approach, On the (fuzzy) logical content of CADIAG-2, Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus, Dialogue games for many-valued logics -- an overview, Proof search and co-NP completeness for many-valued logics, From semantic games to provability: the case of Gödel logic, From truth degree comparison games to sequents-of-relations calculi for Gödel logic, Hypersequent and display calculi -- a unified perspective, Terminating calculi for propositional Dummett logic with subformula property
Uses Software