Pages that link to "Item:Q4647120"
From MaRDI portal
The following pages link to CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION (Q4647120):
Displaying 10 items.
- Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms'' (Q418158) (← links)
- Corrigendum: On infinite computations in denotational semantics (Q789892) (← links)
- Constructive harmonic conjugates (Q1740712) (← links)
- Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions'' (Q2029710) (← links)
- Correction to: ``A formalization of the Smith normal form in higher-order logic'' (Q2102951) (← links)
- Correction to: ``A modal view on resource-bounded propositional logics'' (Q2106882) (← links)
- (Q3783274) (← links)
- (Q3987175) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- Correction (Q6044359) (← links)