About: A Formal Theory of Intermediate Quantifiers     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • 1229;1246
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA201/04/1033), Z(MSM6198898701)
http://linked.open...iv/cisloPeriodika
  • 10
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
  • 354188
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
  • NL - Nizozemsko
http://linked.open...ontrolniKodProRIV
  • [4ADE7F54CA50]
http://linked.open...i/riv/nazevZdroje
  • Fuzzy Sets and Systems
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
  • 159
http://linked.open...iv/tvurceVysledku
  • Novák, Vilém
http://linked.open...n/vavai/riv/zamer
issn
  • 0165-0114
number of pages
http://localhost/t...ganizacniJednotka
  • 17610
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software