Pages that link to "Item:Q5619813"
From MaRDI portal
The following pages link to Logical connectives for intuitionistic propositional logic (Q5619813):
Displaying 10 items.
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Intuitionistic logical connectives on linear structures (Q1069924) (← links)
- Semantic characterization of intuitionistic logical connectives (Q1111537) (← links)
- On some new intuitionistic propositional connectives. I (Q1240220) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Definability of Boolean functions in Kripke semantics (Q6187418) (← links)