The following pages link to (Q5413327):
Displaying 13 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- Number of extensions of non-Fregean logics (Q815015) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- An extension of the formal deductive system \({\mathcal L}^*\) (Q2752635) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- (Q3481670) (← links)
- (Q3812205) (← links)
- (Q3979184) (← links)
- Base-extension semantics for intuitionistic sentential logic (Q4644597) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)
- (Q5413360) (← links)
- (Q5441555) (← links)
