Pages that link to "Item:Q1309333"
From MaRDI portal
The following pages link to BCK and BCI logics, condensed detachment and the 2-property (Q1309333):
Displaying 7 items.
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Proof finding algorithms for implicational logics (Q1575928) (← links)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- Replacement in logic (Q1947034) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES (Q5019782) (← links)
- Principal type-schemes of BCI-lambda-terms (Q5096242) (← links)
