Pages that link to "Item:Q3410681"

The following pages link to Correspondences between gentzen and hilbert systems (Q3410681):

Displaying 8 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)
• Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)