9 results on '"Sara Negri"'
Search Results
2. Glivenko sequent classes in the light of structural proof theory.
3. Proof analysis in intermediate logics.
4. Decision methods for linearly ordered Heyting algebras.
5. Proof-theoretical analysis of order relations.
6. Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.
7. A normalizing system of natural deduction for intuitionistic linear logic.
8. The continuum as a formal space.
9. Sequent calculus proof theory of intuitionistic apartness and order relations.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.