Intuitionistic Propositional Logic Without 'Contraction' but with 'Reductio'

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Studia logica 2000-12, Vol.66 (3), p.446
Hauptverfasser:	MÉNDEZ, J M, Salto, F
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	0039-3215