scientific article; zbMATH DE number 3274716
From MaRDI portal
Publication:5560259
Cited in
(9)- Negation as failure: careful closure procedure
- Glivenko sequent classes in the light of structural proof theory
- Geometric Rules in Infinitary Logic
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
- scientific article; zbMATH DE number 3316015 (Why is no real title available?)
- Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic
- Special cases of the interpolation theorem for classical predicate calculus
- Some special cases of the interpolation theorem for intuitionistic predicate calculus
- Conservation as translation
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 Q5560259)
