Pages that link to "Item:Q857668"
From MaRDI portal
The following pages link to Logical connectives for constructive modal logic (Q857668):
Displaying 10 items.
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- The semantic characterization of modal logical connectives (Q1092890) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- Modal Operators over Constructive Logic (Q3549311) (← links)
- (Q3973194) (← links)
- A Constructive Presentation for the Modal Connective of Necessity (□) (Q4007157) (← links)
- Losing connection: the modal logic of definable link deletion (Q5158361) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Dialogical connexive logic (Q5946354) (← links)
- Logical connectives for two-state semantics (Q6080576) (← links)