Pages that link to "Item:Q3410681"
From MaRDI portal
The following pages link to Correspondences between gentzen and hilbert systems (Q3410681):
Displaying 24 items.
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- \(M\)-sets and the representation problem (Q2350212) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Multi-term π-institutions and their equivalence (Q3419674) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- Probabilized Sequent Calculus and Natural Deduction System for Classical Logic (Q5024718) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- Structural and universal completeness in algebra and logic (Q6145037) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)
