Arithmetical complexity of fuzzy predicate logics -- a survey
From MaRDI portal
(Redirected from Publication:816865)
Recommendations
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- On arithmetical complexity of fragments of prominent fuzzy predicate logics
- Fuzzy logic and arithmetical hierarchy. III
- Fuzzy logic and arithmetical hierarchy. IV
- Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
Cites work
- scientific article; zbMATH DE number 3815606 (Why is no real title available?)
- scientific article; zbMATH DE number 2030505 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- A proof of standard completeness for Esteva and Godo's logic MTL
- Algebraic foundations of many-valued reasoning
- Axiomatizability of some many valued predicate calculi
- Fuzzy logic and arithmetical hierarchy. III
- Fuzzy logic and arithmetical hierarchy. IV
- Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
- Hoops and Fuzzy Logic
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Kripke‐style semantics for many‐valued logics
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the predicate logics of continuous t-norm BL-algebras
- Three complexity problems in quantified fuzzy logic
- Varieties of BL-algebras. I: General properties.
Cited in
(29)- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
- Triangular norm based predicate fuzzy logics
- Fuzzy logic and arithmetical hierarchy. IV
- What is mathematical fuzzy logic
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Complex fuzzy sets and complex fuzzy logic an overview of theory and applications
- Fuzzy logic and arithmetical hierarchy. III
- Three complexity problems in quantified fuzzy logic
- Approximation and universality of fuzzy Turing machines
- A note on the first‐order logic of complete BL‐chains
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- On arithmetical complexity of fragments of prominent fuzzy predicate logics
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa
- Complexity of t-tautologies
- Monadic fuzzy predicate logics
- Complexity of fuzzy probability logics. II
- On the predicate logics of continuous t-norm BL-algebras
- Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics
- Fuzzy Positive Primitive Formulas
- Approximation and robustness of fuzzy finite automata
- Some Complexity Results on Fuzzy Description Logics
- scientific article; zbMATH DE number 6276275 (Why is no real title available?)
- Mathematical Fuzzy Logics
- On theories and models in fuzzy predicate logics
- Complexity of fuzzy probability logics
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- Handbook of mathematical fuzzy logic. Volume 2
This page was built for publication: Arithmetical complexity of fuzzy predicate logics -- a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816865)
