ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract The intuitionistic consequence operation restricted to the language with ↔ (equivalence) and ∼ (negation) as the only connectives is axiomatized by means of a finite set of sequential rules of inference.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01837555