Computational complexity of t-norm based propositional fuzzy logics with rational truth constants

DOI10.1016/J.FSS.2005.12.008MaRDI QIDQ2492318zbMATH OpenOpenAlexFDO

Authors Petr Hájek

Publication date 9 June 2006

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

Full work available at URL https://doi.org/10.1016/j.fss.2005.12.008

zbMATH Keywords

computational complexitydescription logicfuzzy logicrational constants

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15) Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Recommendations

• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Complexity of t-tautologies
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• scientific article; zbMATH DE number 2209491
• Arithmetical complexity of fuzzy predicate logics -- a survey

Cites work

• A note to the definition of the Ł\(\Pi\)-algebras
• Complexity of t-tautologies
• scientific article; zbMATH DE number 5295430 (Why is no real title available?)
• scientific article; zbMATH DE number 2209491 (Why is no real title available?)
• Making fuzzy description logic more general
• Metamathematics of fuzzy logic
• On Fuzzy Logic I Many‐valued rules of inference
• On Product Logic with Truth-constants

Cited in

(18)

• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• F-propositional calculus and a kind of F-control model on the basis of complemented t-norm
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• On the relationship between fuzzy description logics and many-valued modal logics
• Structural completeness in many-valued logics with rational constants
• On the complexity of validity degrees in Łukasiewicz logic
• On expansions of WNM t-norm based logics with truth-constants
• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
• Implicit definability of truth constants in Łukasiewicz logic
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
• Proof theory for fuzzy logics
• On finitely-valued fuzzy description logics
• scientific article; zbMATH DE number 6276275 (Why is no real title available?)
• On the failure of the finite model property in some fuzzy description logics
• Introduction
• Complexity of t-tautologies
• On fuzzy modal logics \(S5(\mathcal C)\)
• Fuzzy description logics and \(t\)-norm based fuzzy logics

This page was built for publication: Computational complexity of t-norm based propositional fuzzy logics with rational truth constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2492318)