Proof-theoretic validity based on elimination rules

DSpace Repository

Proof-theoretic validity based on elimination rules

Author: Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Published in: Why is this a Proof? Festschrift for Luiz Carlos Pereira (2015), Bd. , S. 159-176
Verlagsangabe: London: College Publications
Language: English
ISBN: 978-1-84890-172-8
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)