On fuzzy type theory
From MaRDI portal
Publication:703370
DOI10.1016/J.FSS.2004.03.027zbMATH Open1068.03019DBLPjournals/fss/Novak05OpenAlexW2090670604WikidataQ56083689 ScholiaQ56083689MaRDI QIDQ703370FDOQ703370
Publication date: 11 January 2005
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2004.03.027
Cites Work
- An introduction to mathematical logic and type theory: To truth through proof.
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A treatise on many-valued logics
- Equality relations as a basis for fuzzy control
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness in the theory of types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory of prepositional types
- Normal forms for fuzzy logic functions and their approximation ability
- Classical type theory
- Title not available (Why is that?)
- A reduction of the axioms for the theory of prepositional types
- Discovering the world with fuzzy logic
Cited In (82)
- On the structure of left-continuous t-norms that have a continuous contour line
- Integral prefilters and integral EQ-algebras
- On the difference between traditional and deductive fuzzy logic
- Title not available (Why is that?)
- Fuzzy intensional semantics
- Fuzzy type theory with partial functions
- On modelling with words
- Equality Logic
- Reasoning about mathematical fuzzy logic and its future
- Graded Generalized Hexagon in Fuzzy Natural Logic
- Non-Archimedean fuzzy and probability logic
- Fuzzy terms
- The structure of generalized intermediate syllogisms
- Mining pure linguistic associations from numerical data
- Non-commutative first-order EQ-logics
- A formal theory of generalized intermediate syllogisms
- Fuzzy types: A framework for handling uncertainty about types of objects
- Representable good EQ-algebras
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
- Relations in fuzzy class theory: initial steps
- Fuzzy logic with countable evaluated syntax revisited
- Evaluative linguistic expressions vs. fuzzy categories
- Fuzzy quantifiers defined over fuzzy domains
- A theorem about infinite-valued sentential logic
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- A formal theory of intermediate quantifiers
- A comprehensive theory of trichotomous evaluative linguistic expressions
- EQ-algebras based on hyper EQ-algebras
- Elements of model theory in higher-order fuzzy logic
- Results on equality algebras
- Variable-domain fuzzy sets. II: Apparatus
- EQ-algebras with internal states
- Ideal theory on EQ-algebras
- State pseudo equality algebras
- On General Properties of Intermediate Quantifiers
- Mining information from time series in the form of sentences of natural language
- States on EQ-algebras
- Subtypes in fuzzy type theory
- A cut-free calculus for second-order Gödel logic
- Commutative pseudo-equality algebras
- Fuzzy class theory
- Logical structure of fuzzy IF-THEN rules
- Maxima and minima in fuzzified linear orderings
- Triangular norm based predicate fuzzy logics
- Logical foundations of rule-based systems
- Which logic is the real fuzzy logic?
- Internal states on equality algebras
- On Virtues of Many-Valued (Fuzzy) Type Theories
- \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures
- On good EQ-algebras
- Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples
- The triple rotation method for constructing t-norms
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
- A graded approach to cardinal theory of finite fuzzy sets. II: Fuzzy cardinality measures and their relationship to graded equipollence
- Analysis of generalized square of opposition with intermediate quantifiers
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- From Classical to Fuzzy Type Theory
- On Fuzzy Logic I Many‐valued rules of inference
- EQ-algebra-based fuzzy type theory and its extensions
- Linguistic characterization of time series
- EQ-algebras
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
- Mathematical Fuzzy Logics
- Vagueness: where degree-based approaches are useful, and where we can do without
- The lattice of prefilters of an EQ-algebra
- Fuzzy sets and formal logics
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
- $n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras
- Graded structures of opposition in fuzzy natural logic
- Rough sets and topology in AST: a study via higher-order fuzzy logic
- EQ-algebras from the point of view of generalized algebras with fuzzy equalities
- Implication and production graphs on EQ-algebras
- State theory on bounded hyper EQ-algebras
- On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
- Mathematical representation of Peterson's rules for fuzzy Peterson's syllogisms
- Residuated EQ-algebras may not be residuated lattices
- Rational Pavelka logic: the best among three worlds?
- Folding theory applied to fuzzy (positive) implicative (pre)filters in EQ-algebras
- Title not available (Why is that?)
- New kinds of hybrid filters of EQ-algebras
- Right and Left Mappings in Equality Algebras
Uses Software
Recommendations
- Fuzzy Type Theory, Descriptions, and Partial Functions 👍 👎
- Fuzzy type theory with partial functions 👍 👎
- From Classical to Fuzzy Type Theory 👍 👎
- On Virtues of Many-Valued (Fuzzy) Type Theories 👍 👎
- Subtypes in fuzzy type theory 👍 👎
- EQ-algebra-based fuzzy type theory and its extensions 👍 👎
- Title not available (Why is that?) 👍 👎
- First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory 👍 👎
- On an intuitionistic fuzzy implication from a probabilistic type 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: On fuzzy type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703370)
