Pages that link to "Item:Q1582231"

The following pages link to Five observations concerning the intended meaning of the intuitionistic logical constants (Q1582231):

Displaying 3 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)