Pages that link to "Item:Q1802397"
From MaRDI portal
The following pages link to Functional completeness for subsystems of intuitionistic propositional logic (Q1802397):
Displaying 9 items.
- Logical connectives for constructive modal logic (Q857668) (← links)
- The completeness of functional logic (Q1318282) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- (Q3035269) (← links)
- Priest on Negation (Q3305669) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- Simple characterization of functionally complete one-element sets of propositional connectives (Q3419673) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)