On the independence of axioms in BL and MTL

DOI10.1016/j.fss.2011.10.018zbMath1255.03037OpenAlexW2033092389MaRDI QIDQ1759710

Karel Chvalovský

Publication date: 21 November 2012

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: http://www.nusl.cz/ntk/nusl-39084

zbMATH Keywords

basic fuzzy logic BLHilbert-style calculusmonoidal t-norm-based logic MTL

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (5)

The scope of Gödel's first incompleteness theorem ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ Fuzzy sets and formal logics ⋮ Unnamed Item

Uses Software

• MiniSat
• E Theorem Prover

Cites Work

• Short note: on the redundancy of axiom (A3) in BL and MTL
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Automated Reasoning
• Unnamed Item

This page was built for publication: On the independence of axioms in BL and MTL