Electronic Resource
Springer
Annali di matematica pura ed applicata
102 (1975), S. 203-212
ISSN:
1618-1891
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Summary In this paper, a sentencial calculus is built up, continuing only one connective, the negation. A very general logic is thus obtained, very similar to that of A. A. Markov.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02410606
Permalink
|
Location |
Call Number |
Expected |
Availability |