Deduction in many-valued logics: a survey.
Reiner Hähnle; Gonzalo Escalada-Imaz
Mathware and Soft Computing (1997)
- Volume: 4, Issue: 2, page 69-97
- ISSN: 1134-5632
Access Full Article
top
How to cite
topHähnle, Reiner, and Escalada-Imaz, Gonzalo. "Deduction in many-valued logics: a survey.." Mathware and Soft Computing 4.2 (1997): 69-97. <http://eudml.org/doc/39105>.
@article{Hähnle1997,
author = {Hähnle, Reiner, Escalada-Imaz, Gonzalo},
journal = {Mathware and Soft Computing},
keywords = {Lógica multivaluada; Lógica simbólica; Lógica difusa; Inteligencia artificial; Programación lógica; many-valued logics; proof theory; deduction; computer systems; coding theory; formal verification; natural language representation; databases; knowledge representation; fuzzy control; expert systems},
language = {eng},
number = {2},
pages = {69-97},
title = {Deduction in many-valued logics: a survey.},
url = {http://eudml.org/doc/39105},
volume = {4},
year = {1997},
}
TY - JOUR
AU - Hähnle, Reiner
AU - Escalada-Imaz, Gonzalo
TI - Deduction in many-valued logics: a survey.
JO - Mathware and Soft Computing
PY - 1997
VL - 4
IS - 2
SP - 69
EP - 97
LA - eng
KW - Lógica multivaluada; Lógica simbólica; Lógica difusa; Inteligencia artificial; Programación lógica; many-valued logics; proof theory; deduction; computer systems; coding theory; formal verification; natural language representation; databases; knowledge representation; fuzzy control; expert systems
UR - http://eudml.org/doc/39105
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.