A formal theory of intermediate quantifiers

DOI10.1016/j.fss.2007.12.008zbMath1176.03011OpenAlexW2124743604MaRDI QIDQ835126

Vilém Novák

Publication date: 28 August 2009

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2007.12.008

zbMATH Keywords

natural languagefuzzy type theorygeneralized quantifiersevaluative linguistic expressionshigher-order fuzzy logicfuzzy quantifiersAristotle's syllogism

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Related Items

The structure of generalized intermediate syllogisms ⋮ Fuzzy Measure Spaces Generated by Fuzzy Sets ⋮ A comprehensive theory of trichotomous evaluative linguistic expressions ⋮ Mining information from time series in the form of sentences of natural language ⋮ Vagueness: where degree-based approaches are useful, and where we can do without ⋮ Probabilistic pragmatics explains gradience and focality in natural language quantification ⋮ Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic ⋮ Graded cubes of opposition in fuzzy formal concept analysis ⋮ Fuzzy quantifiers defined over fuzzy domains ⋮ Immediate consequences operator on generalized quantifiers ⋮ An algebraic study of Peterson's intermediate syllogisms ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Linguistic characterization of time series ⋮ A formal theory of generalized intermediate syllogisms ⋮ Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules ⋮ A graded semantics for counterfactuals ⋮ Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices ⋮ Graded Generalized Hexagon in Fuzzy Natural Logic ⋮ The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many ⋮ On fuzzification mechanisms for unary quantification ⋮ Graded structures of opposition in fuzzy natural logic ⋮ Graded polygons of opposition in fuzzy formal concept analysis ⋮ Triangular norm based predicate fuzzy logics ⋮ Unnamed Item ⋮ Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences ⋮ On General Properties of Intermediate Quantifiers ⋮ \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures ⋮ On modelling with words ⋮ Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers ⋮ Most-intersection of countable sets ⋮ Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples ⋮ Analysis of generalized square of opposition with intermediate quantifiers ⋮ A fuzzy syllogistic reasoning schema for generalized quantifiers

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• On fuzzy type theory
• Hedges: A study in meaning criteria and the logic of fuzzy concepts
• Fuzzy quantifiers. A computational theory
• A computational approach to fuzzy quantifiers in natural languages
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Antonyms and linguistic quantifiers in fuzzy logic
• An introduction to mathematical logic and type theory: To truth through proof.
• Fuzzy class theory
• Completeness in the theory of types