Attributes | Values |
---|
rdf:type
| |
Description
| - The paper provides a logical theory of a specific class of natural language expressions called intermediate quantifiers (e.g. most, a lot of, many, a few, a great deal of, a large part of, a small part of), which can be ranked among generalized quantifiers. The formal frame is the fuzzy type theory (FTT) and the formal theory of trichotomous evaluative linguistic expressions. Intermediate quantifier is obtained as a classical quantifier ``for all'' or ``exists'' but taken over a class of elements that is determined using an appropriate evaluative expression. Behavior of intermediate quantifiers and many valid syllogisms that generalize classical Aristotle's ones are studied and proved.
- The paper provides a logical theory of a specific class of natural language expressions called intermediate quantifiers (e.g. most, a lot of, many, a few, a great deal of, a large part of, a small part of), which can be ranked among generalized quantifiers. The formal frame is the fuzzy type theory (FTT) and the formal theory of trichotomous evaluative linguistic expressions. Intermediate quantifier is obtained as a classical quantifier ``for all'' or ``exists'' but taken over a class of elements that is determined using an appropriate evaluative expression. Behavior of intermediate quantifiers and many valid syllogisms that generalize classical Aristotle's ones are studied and proved. (en)
- V článku je zavedena logická teorie tzv. intermediálních kvantifikátorů (npř. většina, mnoho, velká část, apod.), které jsou součástí zobecněných kvantifikátorů. Základem je fuzzy teorie typů a formální teorie evaluačních jazykových výrazů. V článku jsou studovány vlastnosti kvantifikátorů a dokázáno zobecnění řady zobecnění Aristotelových sylogismů. (cs)
|
Title
| - A Formal Theory of Intermediate Quantifiers
- Formální teorie intermediálních kvantifikátorů (cs)
- A Formal Theory of Intermediate Quantifiers (en)
|
skos:prefLabel
| - A Formal Theory of Intermediate Quantifiers
- Formální teorie intermediálních kvantifikátorů (cs)
- A Formal Theory of Intermediate Quantifiers (en)
|
skos:notation
| - RIV/61988987:17610/08:A0800KLP!RIV08-MSM-17610___
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA201/04/1033), Z(MSM6198898701)
|
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/61988987:17610/08:A0800KLP
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Generalized quantifiers; higher order fuzzy logic; fuzzy type theory; Aristotle's syllogisms; evaluative linguistic expressions; precisiated natural language; fuzzy quantifiers. (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |