Cleaning up some odds and ends, here are
single axioms for a few more systems:


A SINGLE AXIOM FOR BCI'
BCK plus
INVERSION BCK plus LINEARITY
CPURE LC 

Entrance page  Home page  Twentysix open questions  Single axioms for:

BCI 
4 subsystems of BCI 
monothetic BCI 
Cpure R 
Cpure RMingle 
Cpure
LNo   Dcomplete axioms for (classical) equivalence  Exit page  