A formal theory of generalized intermediate syllogisms

DOI10.1016/J.FSS.2011.07.004zbMATH Open1250.03046OpenAlexW2125083338MaRDI QIDQ423141FDOQ423141

Publication date: 18 May 2012

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

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

Recommendations

The structure of generalized intermediate syllogisms
scientific article; zbMATH DE number 1778923
scientific article; zbMATH DE number 4004159
A formal theory of intermediate quantifiers
scientific article; zbMATH DE number 3873298
On the rules of intermediate logics
Syllogistics of Some Theories
scientific article; zbMATH DE number 2090037
scientific article; zbMATH DE number 4051564
scientific article; zbMATH DE number 3999891

fuzzy type theory generalized quantifiers intermediate quantifiers evaluative linguistic expressions Aristotle's syllogisms generalized syllogistics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

An introduction to mathematical logic and type theory: To truth through proof.
Title not available (Why is that?)
Metamathematics of fuzzy logic
Algebraic foundations of many-valued reasoning
Hedges: A study in meaning criteria and the logic of fuzzy concepts
EQ-algebra-based fuzzy type theory and its extensions
Title not available (Why is that?)
On fuzzy type theory
Fuzzy quantifiers. A computational theory
A formal theory of intermediate quantifiers
A comprehensive theory of trichotomous evaluative linguistic expressions
\(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures
Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)

Cited In (28)

The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
On fuzzification mechanisms for unary quantification
Title not available (Why is that?)
On modelling with words
Graded structures of opposition in fuzzy natural logic
Title not available (Why is that?)
The structure of generalized intermediate syllogisms
Fuzzy quantifiers defined over fuzzy domains
A formal theory of intermediate quantifiers
An algebraic study of Peterson's intermediate syllogisms
Aristotelian syllogisms and generalized quantifiers
Nonstatistical methods for analysis, forecasting, and mining time series
Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams
Mining information from time series in the form of sentences of natural language
Mathematical representation of Peterson's rules for fuzzy Peterson's syllogisms
Intermediate syllogisms in fuzzy natural logic
Graded generalized hexagon in fuzzy natural logic
How to incorporate excluding features in fuzzy relational compositions and what for
Type \(\langle 1, 1 \rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionality
Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples
A fuzzy syllogistic reasoning schema for generalized quantifiers
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules
Analysis of generalized square of opposition with intermediate quantifiers
Linguistic characterization of time series
Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
On general properties of intermediate quantifiers
Canonical syllogistic moods in traditional Aristotelian logic

Uses Software

ETPS

This page was built for publication: A formal theory of generalized intermediate syllogisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q423141)