Focusing in Linear Meta-logic
From MaRDI portal
Publication:3541726
Recommendations
Cites work
- scientific article; zbMATH DE number 4180832 (Why is no real title available?)
- scientific article; zbMATH DE number 4053062 (Why is no real title available?)
- scientific article; zbMATH DE number 1337625 (Why is no real title available?)
- scientific article; zbMATH DE number 1950250 (Why is no real title available?)
- scientific article; zbMATH DE number 2152687 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- A framework for defining logics
- A natural extension of natural deduction
- Analytic cut
- Focusing and Polarization in Intuitionistic Logic
- Focusing in Linear Meta-logic
- Forum: A multiple-conclusion specification logic
- Incorporating Tables into Proofs
- Logic Programming with Focusing Proofs in Linear Logic
- Logic programming in a fragment of intuitionistic linear logic
- Natural deduction with general elimination rules
- Normal natural deduction proofs (in classical logic)
- On the Specification of Sequent Systems
- Structural cut elimination. I: Intuitionistic and classical logic
- Structural proof theory. With an appendix by Aarne Ranta
- The Taming of the Cut. Classical Refutations with Analytic Cut
- The blind spot. Course in logic. I. On the perfection
Cited in
(7)- On Lambek's restriction in the presence of exponential modalities
- scientific article; zbMATH DE number 1950250 (Why is no real title available?)
- Formalized meta-theory of sequent calculi for linear logics
- Focusing in Linear Meta-logic
- Specifying proof systems in linear logic with subexponentials
- A simplified account of the metatheory of linear LF
- A framework for proof systems
This page was built for publication: Focusing in Linear Meta-logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541726)