Property modifiers
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F17%3A10238722" target="_blank" >RIV/61989100:27240/17:10238722 - isvavai.cz</a>
Result on the web
<a href="http://raslan2017.nlp-consulting.net/" target="_blank" >http://raslan2017.nlp-consulting.net/</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Property modifiers
Original language description
In this paper, we deal with property modifiers defined as functions that associate a given root property P with a modified property [MP]. Property modifiers typically divide into four kinds, namely intersective, subsective, privative and modal. Here we do not deal with modal modifiers like alleged, which appear to be well-nigh logically lawless, because, for instance, an alleged assassin is or is not an assassin. The goal of this paper is to logically define the three remaining kinds of modifiers. Furthermore, we introduce the rule of pseudo-detachment as the rule of left subsectivity to replace the modifier M in the premise by the property M* in the conclusion, and prove that this rule is valid for all kinds of modifiers. Furthermore, it is defined in a way that avoids paradoxes like that a small elephant is smaller than a large mouse.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensional logic for natural language analysis</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
RASLAN 2017: Recent Advances in Slavonic Natural Language Processing : eleventh workshop on ... : Karlova Studánka, Czech Republic, December 1-3, 2017 : proceedings
ISBN
978-80-263-1340-3
ISSN
—
e-ISSN
neuvedeno
Number of pages
14
Pages from-to
37-50
Publisher name
Tribun EU
Place of publication
Brno
Event location
Karlova Studánka
Event date
Dec 1, 2017
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000426613500005