Pages that link to "Item:Q1582231"
From MaRDI portal
The following pages link to Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231):
Displaying 6 items.
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Mass problems and intuitionistic higher-order logic (Q2799749) (← links)
- (Q3007262) (← links)
- (Q3987175) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)
