scientific article; zbMATH DE number 1341466
From MaRDI portal
Publication:4263005
zbMath0931.03066MaRDI QIDQ4263005
Matthias Baaz, Christian G. Fermüller
Publication date: 21 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
structural rulestruth functionsfinite-valued logicsprojective logicscut rulesGentzen type calculiinfinite-valued Gödel logicprojective propositional logics
Logic in artificial intelligence (68T27) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (10)
From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Normal forms for fuzzy logics: a proof-theoretic approach ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ 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 ⋮ Terminating calculi for propositional Dummett logic with subformula property ⋮ From semantic games to provability: the case of Gödel logic
Uses Software
This page was built for publication:
