Pages that link to "Item:Q390714"
From MaRDI portal
The following pages link to Erratum to ``A logic of injectivity'' (Q390714):
Displaying 6 items.
- Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics'' (Q509612) (← links)
- \(n\)-fold implicative basic logic is Gödel logic (Q1933768) (← links)
- Erratum to: ``Reasoning with infinite stable models'' (Q2389687) (← links)
- Erratum to: A substructural logic for layered graphs (Q2987058) (← links)
- CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION (Q4647120) (← links)
- Erratum to <i>J. M. Font, The simplest protoalgebraic logic</i> (Q5404168) (← links)