TY - CHAP
T1 - On the Proof Theory of Natural Many-valued Logics
AU - Avron, Arnon
PY - 1999
Y1 - 1999
KW - MEHRWERTIGE LOGIK (MATHEMATISCHE LOGIK)
KW - INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
KW - MANY-VALUED LOGIC (MATHEMATICAL LOGIC)
KW - RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
KW - LOGIQUE MULTIVALENTE (LOGIQUE MATHÉMATIQUE)
KW - ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
KW - SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK)
KW - ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
KW - COMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)
KW - DECISION PROBLEMS (MATHEMATICAL LOGIC)
KW - ALGORITHMIC COMPLEXITY (MATHEMATICS)
KW - PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE)
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???
VL - 3
T3 - Collegium Logicum
SP - 51
EP - 59
BT - Collegium Logicum
PB - Institute of Computer Science AS CR Prague
CY - Wien
ER -