On fuzzy type theory
From MaRDI portal
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
- scientific article; zbMATH DE number 7599953
- First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory
- On an intuitionistic fuzzy implication from a probabilistic type
- scientific article; zbMATH DE number 975737
Cites work
- scientific article; zbMATH DE number 43055 (Why is no real title available?)
- scientific article; zbMATH DE number 41101 (Why is no real title available?)
- scientific article; zbMATH DE number 108365 (Why is no real title available?)
- scientific article; zbMATH DE number 3531346 (Why is no real title available?)
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 1032006 (Why is no real title available?)
- scientific article; zbMATH DE number 1042221 (Why is no real title available?)
- scientific article; zbMATH DE number 2042620 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 783772 (Why is no real title available?)
- A reduction of the axioms for the theory of prepositional types
- A theory of prepositional types
- A treatise on many-valued logics
- An introduction to mathematical logic and type theory: To truth through proof.
- Classical type theory
- Completeness in the theory of types
- Discovering the world with fuzzy logic
- Equality relations as a basis for fuzzy control
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Normal forms for fuzzy logic functions and their approximation ability
Cited in
(83)- Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
- On the structure of left-continuous t-norms that have a continuous contour line
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
- Integral prefilters and integral EQ-algebras
- On the difference between traditional and deductive fuzzy logic
- scientific article; zbMATH DE number 7599953 (Why is no real title available?)
- On modelling with words
- Fuzzy intensional semantics
- Fuzzy type theory with partial functions
- Reasoning about mathematical fuzzy logic and its future
- Graded structures of opposition in fuzzy natural logic
- Fuzzy terms
- The structure of generalized intermediate syllogisms
- Non-Archimedean fuzzy and probability logic
- Mining pure linguistic associations from numerical data
- A formal theory of generalized intermediate syllogisms
- Rough sets and topology in AST: a study via higher-order fuzzy logic
- Non-commutative first-order EQ-logics
- Representable good EQ-algebras
- Fuzzy types: A framework for handling uncertainty about types of objects
- 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 from the point of view of generalized algebras with fuzzy equalities
- EQ-algebras based on hyper EQ-algebras
- Implication and production graphs on EQ-algebras
- Elements of model theory in higher-order fuzzy logic
- From classical to fuzzy type theory
- Results on equality algebras
- EQ-algebras with internal states
- Variable-domain fuzzy sets. II: Apparatus
- Ideal theory on EQ-algebras
- \(n\)-fold obstinate and \(n\)-fold fantastic (pre)filters of EQ-algebras
- Mining information from time series in the form of sentences of natural language
- State theory on bounded hyper EQ-algebras
- Residuated EQ-algebras may not be residuated lattices
- On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
- Mathematical representation of Peterson's rules for fuzzy Peterson's syllogisms
- States on EQ-algebras
- Subtypes in fuzzy type theory
- Equality logic
- A cut-free calculus for second-order Gödel logic
- Graded generalized hexagon in fuzzy natural logic
- Commutative pseudo-equality algebras
- Logical structure of fuzzy IF-THEN rules
- Fuzzy class theory
- Maxima and minima in fuzzified linear orderings
- Internal states on equality algebras
- Triangular norm based predicate fuzzy logics
- Rational Pavelka logic: the best among three worlds?
- Logical foundations of rule-based systems
- Which logic is the real fuzzy logic?
- On good EQ-algebras
- L-fuzzy quantifiers of type 1 determined by fuzzy measures
- On Virtues of Many-Valued (Fuzzy) Type Theories
- Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
- The triple rotation method for constructing t-norms
- 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
- Folding theory applied to fuzzy (positive) implicative (pre)filters in EQ-algebras
- Linguistic characterization of time series
- On Fuzzy Logic I Many‐valued rules of inference
- EQ-algebra-based fuzzy type theory and its extensions
- EQ-algebras
- Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
- On general properties of intermediate quantifiers
- scientific article; zbMATH DE number 7780372 (Why is no real title available?)
- 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
- State pseudo-equality algebras
- Gardening with the PythiaA model of continuity in a dependent setting
- New kinds of hybrid filters of EQ-algebras
- Right and Left Mappings in Equality Algebras
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)
