The following pages link to (Q3726084):
Displaying 18 items.
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Modality and possibility in some intuitionistic modal logics (Q1099162) (← links)
- Relevant implication and the weak deduction theorem (Q1103605) (← links)
- Characteristics and applications of \(J_{I,B}\)-implications via some classical logic tautologies (Q2283276) (← links)
- Two remarks on strictly implicative formulas in modal logic S3 (Q2751815) (← links)
- An implicational logic for orthomodular lattices (Q2979435) (← links)
- (Q3333006) (← links)
- (Q3338238) (← links)
- (Q3708781) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
- (Q4544192) (← links)
- Дедуктивные логики и их связь с интуиционистской логикой (Q4566143) (← links)
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 (Q4576065) (← links)
- (Q4678352) (← links)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)
- (Q5311056) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)
