About: The analysis of the generalized square of opposition-extension     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
  • In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- L ukasiewicz fuzzy type theory.
  • In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- L ukasiewicz fuzzy type theory. (en)
Title
  • The analysis of the generalized square of opposition-extension
  • The analysis of the generalized square of opposition-extension (en)
skos:prefLabel
  • The analysis of the generalized square of opposition-extension
  • The analysis of the generalized square of opposition-extension (en)
skos:notation
  • RIV/61988987:17610/13:A14017EM!RIV14-MSM-17610___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(ED1.1.00/02.0070), S
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
  • 60682
http://linked.open...ai/riv/idVysledku
  • RIV/61988987:17610/13:A14017EM
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Fuzzy type theory; Intermediate quantifiers; Aristotelian square of opposition; Complete square of opposition (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [2B31FDEF8C54]
http://linked.open...v/mistoKonaniAkce
  • Milano, Italy
http://linked.open...i/riv/nazevZdroje
  • Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT)
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...iv/tvurceVysledku
  • Novák, Vilém
  • Murinová, Petra
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
issn
  • 1951-6851
number of pages
http://purl.org/ne...btex#hasPublisher
  • Atlantis Press
https://schema.org/isbn
  • 9789078677789
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