The following pages link to (Q3352995):
Displaying 11 items.
- BCK-combinators and linear \(\lambda\)-terms have types (Q1119620) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- BCK and BCI logics, condensed detachment and the 2-property (Q1309333) (← links)
- On a property of BCK-identities (Q1327482) (← links)
- Correction to: ``\(Log_A \mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions'' (Q2029710) (← links)
- Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics'' (Q2111110) (← links)
- (Q3222844) (← links)
- (Q3518411) (← links)
- (Q3682485) (← links)
- Glivenko like theorems in natural expansions of BCK-logic (Q4459591) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)