Digitale Medien
Springer
Studia logica
58 (1997), S. 129-141
ISSN:
1572-8730
Schlagwort(e):
fuzzy logic
;
many-valued logic
;
undecidability
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Mathematik
,
Philosophie
Notizen:
Abstract A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1023/A:1004948116720
Permalink
|
Standort |
Signatur |
Erwartet |
Verfügbarkeit |