Analytic cut

DOI10.2307/2271362zbMath0181.00503OpenAlexW4213268374MaRDI QIDQ5570912

Raymond M. Smullyan

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

zbMATH Keywords

general logic

Related Items (9)

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 rules for implication elimination ⋮ Eight inference rules for implication ⋮ Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence

This page was built for publication: Analytic cut