- EAN13
- 9782746233195
- Éditeur
- Hermès science publications
- Date de publication
- 15/03/1999
- Langue
- anglais
- Fiches UNIMARC
- S'identifier
Multi-valued logics Journal of applied non-classical logics volume 9 n°1 1999
Carnielli
Hermès science publications
Livre numérique
In recent decades, there has been a veritable explosion of interest in many-
valued logics. Research has been intensively pursued on such diverse aspects
of finite and infinite valued logics as proof theory, model theory, fuzzy
logics, their relationship to other non-standard logics, their algebraic and
geometric structure, and their applications to computer science, engineering
and linguistics. This volume includes eight refereed pages in some of these
field. Although none of them is directly concerned with the applications of
multi-valued logics, nonetheless they make important contributions to ongoing
interaction between applications which demand theorical foundations, and
theorical work which is inspired by technological problems. The papers are
organized according to three themes: the first group addresses global
properties of many-valued logical systems. The second group concerns specific
classes of finite-valued logics. The third part deals with general algebraic
and geometric properties of many-valued structures. What makes multi-valued
logics so interesting is that they allow us to finetune the notion of truth,
since they make it possible to distinguish between local and global truth, and
between truth and falsity in different contexts.
valued logics. Research has been intensively pursued on such diverse aspects
of finite and infinite valued logics as proof theory, model theory, fuzzy
logics, their relationship to other non-standard logics, their algebraic and
geometric structure, and their applications to computer science, engineering
and linguistics. This volume includes eight refereed pages in some of these
field. Although none of them is directly concerned with the applications of
multi-valued logics, nonetheless they make important contributions to ongoing
interaction between applications which demand theorical foundations, and
theorical work which is inspired by technological problems. The papers are
organized according to three themes: the first group addresses global
properties of many-valued logical systems. The second group concerns specific
classes of finite-valued logics. The third part deals with general algebraic
and geometric properties of many-valued structures. What makes multi-valued
logics so interesting is that they allow us to finetune the notion of truth,
since they make it possible to distinguish between local and global truth, and
between truth and falsity in different contexts.
S'identifier pour envoyer des commentaires.