On fuzzy type theory
From MaRDI portal
Publication:703370
DOI10.1016/J.FSS.2004.03.027zbMATH Open1068.03019DBLPjournals/fss/Novak05OpenAlexW2090670604WikidataQ56083689 ScholiaQ56083689MaRDI QIDQ703370FDOQ703370
Authors: Vilém Novák 
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
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
- 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 (83)
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
- 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
- Variable-domain fuzzy sets. II: Apparatus
- \(n\)-fold obstinate and \(n\)-fold fantastic (pre)filters of 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?)
- 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
- 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
- Reasoning about mathematical fuzzy logic and its future
- 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
- From classical to fuzzy type theory
- Results on equality algebras
- EQ-algebras with internal states
- Ideal theory on EQ-algebras
- Mining information from time series in the form of sentences of natural language
- States on EQ-algebras
- Equality logic
- Subtypes in fuzzy type theory
- Graded generalized hexagon in fuzzy natural logic
- 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
- 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
- On general properties of intermediate quantifiers
- Mathematical Fuzzy Logics
- Vagueness: where degree-based approaches are useful, and where we can do without
- State pseudo-equality algebras
- 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
Uses Software
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)
