Constructive semantics, admissibility of rules and the validity of Peirce's law

Autor(en):

Sanz, Wagner de Campos; Piecha, Thomas; Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Logic Journal of The Igpl (2014), Bd. 22, H. SI, S. 297-308

Verlagsangabe:

Oxford Univ Press

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1367-0751

DDC-Klassifikation:

510 - Mathematik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: