Rule-elimination theorems

DOI10.1007/S11787-024-00358-YMaRDI QIDQ6633055zbMATH OpenFDO

Authors Sayantan Roy

Publication date 5 November 2024

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11787-024-00358-Y

zbMATH Keywords

cut-elimination theoremslogical structuresrule-elimination theoremsuniversal logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites work

• Abstract algebraic logic. An introductory textbook
• Contraction-elimination for implicational logics
• scientific article; zbMATH DE number 3771571 (Why is no real title available?)
• scientific article; zbMATH DE number 3614740 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• Non-deterministic Multiple-valued Structures
• On induction principles for partial orders
• Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
• Structural proof theory. With an appendix by Aarne Ranta
• Towards a semantic characterization of cut-elimination
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Untersuchungen über das logische Schließen. I.

This page was built for publication: Rule-elimination theorems

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