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 12 items.
- The two-property and condensed detachment (Q799664) (← links)
- Self-implications in BCI (Q948761) (← links)
- 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)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- (Q4305491) (← links)
- (Q4390773) (← links)
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES (Q5019782) (← links)
- Principal type-schemes of BCI-lambda-terms (Q5096242) (← links)