Analytic cut

DOI10.2307/2271362MaRDI QIDQ5570912zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(15)

• Eight inference rules for implication
• XI Latin American Symposium on Mathematical Logic
• A framework for proof systems
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
• Sequents vs hypersequents for Åqvist systems
• Eight rules for implication elimination
• Dependent type refinements for futures
• Data layout from a type-theoretic perspective
• Analytic proofs for tense logic
• 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
• Modular sequent calculi for interpretability logics

This page was built for publication: Analytic cut

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5570912)