Normal forms for fuzzy logics: a proof-theoretic approach
type: Item
instance of: scholarly article
title: Normal forms for fuzzy logics: a proof-theoretic approach
zbMATH Open document ID: 1114.03016
author: Petr Cintula
author: George Metcalfe
published in: Archive for Mathematical Logic
publication date: 2007-06-07T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5162352
zbMATH Keywords: fuzzy logic
zbMATH Keywords: proof theory
zbMATH Keywords: conjunctive normal forms
zbMATH Keywords: strong invertibility
zbMATH Keywords: hypersequent rules
zbMATH Keywords: McNaughton functions
zbMATH Keywords: Łukasiewicz logic
zbMATH Keywords: Gödel logic
zbMATH Keywords: product logic
zbMATH Keywords: cancellative hoop logic
MaRDI profile type: MaRDI publication profile
full work available at URL: s00153-007-0033-7
OpenAlex ID: W2044844988
cites work: A constructive analysis of RM
cites work: Decomposition proof systems for Gödel-Dummett logics
cites work: Q4263005
cites work: Interpolation in fuzzy logic
cites work: Algebraic foundations of many-valued reasoning
cites work: Semi-normal forms and functional representation of product fuzzy logic.
cites work: Proving termination with multiset orderings
cites work: On normal forms in Łukasiewicz logic
cites work: Metamathematics of fuzzy logic
cites work: Fuzzy Logics with Noncommutative Conjuctions
cites work: A theorem about infinite-valued sentential logic
cites work: Analytic calculi for product logics
cites work: Sequent and hypersequent calculi for abelian and łukasiewicz logics
cites work: A constructive proof of McNaughton's theorem in infinite-valued logic
cites work: Handbook of automated reasoning. In 2 vols
cites work: Fragments of Many-Valued Statement Calculi
DOI: 10.1007/S00153-007-0033-7
description: scientific article; zbMATH DE number 5162352