Analytic cut
From MaRDI portal
Publication:5570912
DOI10.2307/2271362zbMath0181.00503OpenAlexW4213268374MaRDI QIDQ5570912
Publication date: 1968
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271362
Related Items
Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's contributions to proof theory and its history, Focusing in Linear Meta-logic, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, A framework for proof systems, XI Latin American Symposium on Mathematical Logic, Eight inference rules for implication, Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
