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 9 items.
- The intended interpretation of intuitionistic logic (Q793720) (← links)
- Constructions, proofs and the meaning of logical constants (Q793721) (← links)
- 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)
- Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants (Q3211279) (← links)
- (Q3987175) (← links)
- Coalgebras as Types Determined by Their Elimination Rules (Q5253935) (← links)