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

Author:

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

Tübinger Autor(en):

Published in:

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

Verlagsangabe:

Oxford Univ Press

Language:

English

Full text:

ISSN:

1367-0751

DDC Classifikation:

510 - Mathematics

Dokumentart:

Article

This item appears in the following Collection(s)