Do-it-Yourself Semantics for Classical Sequent Calculi, Including Ramified Type Theory

Publisher Website

1 January 1977

book chapter
Published by Springer Nature

p. 371-390
https://doi.org/10.1007/978-94-010-1138-9_19

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

PROOFS AND REFUTATIONS (I)
The British Journal for the Philosophy of Science, 1963
The Runabout Inference-Ticket
Analysis, 1960