Pages that link to "Item:Q3410681"
From MaRDI portal
The following pages link to Correspondences between gentzen and hilbert systems (Q3410681):
Displayed 5 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Multi-term π-institutions and their equivalence (Q3419674) (← links)