Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
From MaRDI portal
Publication:5450567
DOI10.1093/logcom/exm053zbMath1139.03018OpenAlexW2019341195MaRDI QIDQ5450567
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
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