scientific article; zbMATH DE number 4143971
From MaRDI portal
zbMATH Open0698.03035MaRDI QIDQ3475264FDOQ3475264
Authors: Albert G. Dragalin
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
Cited In (15)
- The Taming of the Cut. Classical Refutations with Analytic Cut
- A note on cut-elimination for classical propositional logic
- Structural cut elimination. I: Intuitionistic and classical logic
- Explicit algebraic models for constructive and classical theories with non-standard elements
- Cut-elimination and interpolation for \(\Omega\)-logic
- Title not available (Why is that?)
- Completeness and cut-elimination theorems for high-order classical logic. Constructive method
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic proofs of cut elimination
- Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order
- Some results on cut-elimination, provable well-orderings, induction and reflection
- A note on the complexity of classical and intuitionistic proofs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3475264)