Pages that link to "Item:Q1111537"
From MaRDI portal
The following pages link to Semantic characterization of intuitionistic logical connectives (Q1111537):
Displaying 23 items.
- Semantic characterization of certain sets of intuitionistic logical connectives (Q584240) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- An intuitionistic characterization of classical logic (Q939055) (← links)
- Intuitionistic logical connectives on linear structures (Q1069924) (← links)
- The semantic characterization of modal logical connectives (Q1092890) (← links)
- Nonstandard connectives of intuitionistic propositional logic (Q1111536) (← links)
- The logic of information structures (Q1310268) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- Extensionality in sentence position (Q1820769) (← links)
- Relating semantics for connexive logic (Q2086532) (← links)
- On A neglected path to intuitionism (Q2339011) (← links)
- \(n\)-valued connectives (Q2737552) (← links)
- Semantic characterization of Kracht formulas (Q2904056) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)
- Common Logic of 2‐Valued Semigroup Connectives (Q3982865) (← links)
- (Q4249029) (← links)
- The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames (Q4711191) (← links)
- (Q4731165) (← links)
- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different? (Q5213614) (← links)
- Bi-intuitionistic implication structures (Q5375872) (← links)
- (Q5413349) (← links)
- (Q5479708) (← links)
- Logical connectives for two-state semantics (Q6080576) (← links)
