Electronic Resource
Springer
Archive for mathematical logic
35 (1996), S. 191-208
ISSN:
1432-0665
Keywords:
03B50
;
03B52
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01268618
|
Location |
Call Number |
Expected |
Availability |