scientific article; zbMATH DE number 4156411
From MaRDI portal
Publication:3484812
Cites work
- Continuous Model Theory. (AM-58)
- Foundations of fuzzy reasoning
- Fuzzy logic and fuzzy reasoning
- Fuzzy sets and t-norms in the light of fuzzy logic
- scientific article; zbMATH DE number 4156412 (Why is no real title available?)
- scientific article; zbMATH DE number 41101 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- Model theory
- On Fuzzy Logic I Many‐valued rules of inference
Cited in
(26)- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Formalized theory of general fuzzy reasoning.
- A note on axiomatizations of Pavelka-style complete fuzzy logics
- Back-and-forth systems for fuzzy first-order models
- A complete many-valued logic with product-conjunction
- Pavelka-style fuzzy logic in retrospect and prospect
- Triangular norm based predicate fuzzy logics
- On expansions of WNM t-norm based logics with truth-constants
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
- Subtypes in fuzzy type theory
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- What is mathematical fuzzy logic
- Validation sets in fuzzy logics.
- scientific article; zbMATH DE number 4156412 (Why is no real title available?)
- Reasoning about mathematical fuzzy logic and its future
- scientific article; zbMATH DE number 1053091 (Why is no real title available?)
- Vagueness and formal fuzzy logic: some criticisms
- Algebraic Kripke-style semantics for relevance logics
- scientific article; zbMATH DE number 269313 (Why is no real title available?)
- On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- Rational Pavelka logic: the best among three worlds?
- New foundations of reasoning via real-valued first-order logics
- Elements of model theory in higher-order fuzzy logic
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3484812)
