Cut-elimination in logics with definitional reflection

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schroeder-Heister, Peter (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Tübingen Wilhelm-Schickard-Inst. für Informatik, Univ. 1992
Schriftenreihe:	WSI 92,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	To appear in: Non-classical logic and information processing
Beschreibung:	26 S.