Proof-theoretic validity based on elimination rules

Author:

Schroeder-Heister, Peter

Tübinger Autor(en):

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:

Article

This item appears in the following Collection(s)