Constraint Tableaux for Two-Dimensional Fuzzy Logics
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00547122" target="_blank" >RIV/67985807:_____/21:00547122 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-030-86059-2_2" target="_blank" >http://dx.doi.org/10.1007/978-3-030-86059-2_2</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-86059-2_2" target="_blank" >10.1007/978-3-030-86059-2_2</a>
Alternative languages
Result language
angličtina
Original language name
Constraint Tableaux for Two-Dimensional Fuzzy Logics
Original language description
We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize reasoning with graded, incomplete and inconsistent information. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product of the [0, 1] interval. The first (resp. second) coordinate encodes the positive (resp. negative) information one has about a statement. We propose constraint tableaux that provide a modular framework to address their completeness and complexity.
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
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2021
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
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN
978-3-030-86058-5
ISSN
0302-9743
e-ISSN
—
Number of pages
18
Pages from-to
20-37
Publisher name
Springer
Place of publication
Cham
Event location
Birmingham / online
Event date
Sep 6, 2021
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000711656700002