Quantification over Undefined Truth Values

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F18%3AA1901SUF" target="_blank" >RIV/61988987:17610/18:A1901SUF - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-91479-4_17" target="_blank" >http://dx.doi.org/10.1007/978-3-319-91479-4_17</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-91479-4_17" target="_blank" >10.1007/978-3-319-91479-4_17</a>

Result language
angličtina
Original language name
Quantification over Undefined Truth Values
Original language description
We will recall three prominent families of quantifiers in first-order partial fuzzy logic and study their properties. The background fuzzy logic is the monoidal t-norm based logic MTL. First we will overview the semantics of partial fuzzy propositional logic, recall the basic notions, comment on axiomatization and present its first-order variant. Then we will present results on the properties of quantifiers from different families.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications, volume 855
ISBN
978-331991478-7
ISSN
1865-0929
e-ISSN
—
Number of pages
10
Pages from-to
199-208
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Cadiz
Event date
Jun 10, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)