MathDB1 problem
- 0 votes0 replies0 views
Sambin et al.'s six-connective conjecture for Basic Logic
Sambin et al.'s six-connective conjecture. Only six definitional equations are solvable, namely those corresponding to two conjunctions, two disjunctions, and two implications.