Metamathematics of fuzzy logic
From MaRDI portal
Publication:1307301
zbMATH Open0937.03030MaRDI QIDQ1307301FDOQ1307301
Authors: Petr Hájek 
Publication date: 31 October 1999
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Recommendations
approximate reasoningmany-valued logicfuzzy logicresiduated latticesalgebraic semanticsgraded notion of entailmentt-norm logics
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Undecidability and degrees of sets of sentences (03D35)
Cited In (only showing first 100 items - show all)
- A note on the first‐order logic of complete BL‐chains
- Fuzzy connections on adjoint triples
- Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices
- Construction of finite \(\mathbf L\)-groups.
- A note on the continuity of triangular norms
- The structure of generalized intermediate syllogisms
- Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness
- The universal fuzzy automaton
- Triadic fuzzy Galois connections as ordinary connections
- The construction of left-continuous t-norms: a geometric approach in two dimensions
- Exploring users' preferences in a fuzzy setting
- The proof by cases property and its variants in structural consequence relations
- Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras
- Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
- Moore-Smith convergence in (L,M)-fuzzy topology
- The order-theoretic duality and relations between partial metrics and local equalities
- A formal theory of generalized intermediate syllogisms
- Bivalent and other solutions of fuzzy relational equations via linguistic hedges
- On adjunctions between Lim, SL-Top, and SL-Lim
- Preordered sets valued in a GL-monoid
- Some types of filters in MTL-algebras
- Interval additive generators of interval t-norms and interval t-conorms
- \(n\)-fold filters of MTL-algebras
- Conic aggregation functions
- Fuzzy Galois connections under weak conditions
- Aggregation functions: means
- An early approach toward graded identity and graded membership in set theory
- Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies
- A theorem about infinite-valued sentential logic
- Automata theory based on complete residuated lattice-valued logic: Turing machines
- Computation of the greatest simulations and bisimulations between fuzzy automata
- On stratified \(L\)-convergence spaces: pretopological axioms and diagonal axioms
- Generalized extensionality of fuzzy relations
- On fuzzy type theory
- Why are papers about filters on residuated structures (usually) trivial?
- Franco Montagna's work on provability logic and many-valued logic
- Algebras with fuzzy equalities
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- A note on congruence permutability and fuzzy logic
- Fuzzy Horn logic. II. Implicationally defined classes.
- The saturated prefilter monad
- A comprehensive theory of trichotomous evaluative linguistic expressions
- Filters in fuzzy class theory
- On many-valued stratified \(L\)-fuzzy convergence spaces
- Solution of a system of linear equations with fuzzy numbers
- Algebraic analysis of fuzzy systems
- An enriched category approach to many valued topology
- A compendium of fuzzy weak orders: representations and constructions
- Fuzzy sets and sheaves. I: Basic concepts
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology
- Proof theory for locally finite many-valued logics: semi-projective logics
- An algebraic study of Peterson's intermediate syllogisms
- Fuzzy simulations and bisimulations between fuzzy automata
- Generalized fuzzy filters of BL-algebras
- On copulas, quasicopulas and fuzzy logic
- On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator
- Partially undetermined many-valued events and their conditional probability
- MV-algebras with internal states and probabilistic fuzzy logics
- An axiomatic approach of fuzzy rough sets based on residuated lattices
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Approximation of extensional fuzzy relations over a residuated lattice
- Fuzzy points and attachment
- Stratified \(L\)-ordered convergence structures
- Filters of residuated lattices and triangle algebras
- On varieties of MV-algebras with internal states
- On filter theory of residuated lattices
- The free \(n\)-generated BL-algebra
- A logical characterization of coherence for imprecise probabilities
- State morphism MV-algebras
- Ordered groups with a conucleus
- Adding structure to MV-algebras
- Complexity of t-tautologies
- A logic for reasoning about the probability of fuzzy events
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
- Product logic and probabilistic Ulam games
- An analysis of Ruspini partitions in Gödel logic
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
- Classes of filters in generalizations of commutative fuzzy structures
- A general Glivenko theorem
- What is graded membership?
- The Rényi-Ulam games and many-valued logics
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
- Ł\(\Pi\) logic with fixed points
- The coherence of Łukasiewicz assessments is NP-complete
- Analytic calculi for product logics
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- A non-commutative generalization of Łukasiewicz rings
- A logical and algebraic treatment of conditional probability
- On the predicate logics of continuous t-norm BL-algebras
- Varieties of BL-algebras. I: General properties.
- Analysis of generalized square of opposition with intermediate quantifiers
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Approximation and robustness of fuzzy finite automata
- A categorical equivalence for product algebras
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Sup-t-norm and inf-residuum are a single type of relational equations
- Mathematical Fuzzy Logics
- Interval Additive Generators of Interval T-Norms
- Fuzzy Galois connections categorically
- Craig interpolation for semilinear substructural logics
This page was built for publication: Metamathematics of fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1307301)
