Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms

DOI10.1093/logcom/exm053zbMath1139.03018OpenAlexW2019341195MaRDI QIDQ5450567

Thomas Vetterlein

Publication date: 12 March 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/bae279fe884b763bf615de1236b97954446a7872

zbMATH Keywords

basic logichypersequentsanalytic calculifuzzy logicsanalytic proof systems

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (3)

Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Expanding basic fuzzy logic with truth constants for component delimiters

This page was built for publication: Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms