ISSN:
1572-8730
Keywords:
contractionless logic
;
intuitionistic logic
;
substructural logic
;
negation
;
reductio
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract Routley-Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005216827905
Permalink