Rule-Generation Theorem and its Applications

DOI10.18778/0138-0680.47.4.03zbMath1437.03161OpenAlexW2944854739WikidataQ127852739 ScholiaQ127852739MaRDI QIDQ5742616

Andrzej Indrzejczak

Publication date: 15 May 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.47.4.03

zbMATH Keywords

cut eliminationsequent calculusproof theoryextralogical rules

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ A novel approach to equality ⋮ Free logics are cut-free ⋮ Fregean Description Theory in Proof-Theoretical Setting ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination

This page was built for publication: Rule-Generation Theorem and its Applications