Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems |
scientific article |
Statements
Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (English)
0 references
7 August 2020
0 references
axiom-pairs
0 references
BCI
0 references
implicational fragment
0 references
R
0 references
R-Mingle
0 references
single axioms
0 references
0 references
