MathDB2 problems
- 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.
- 0 votes0 replies0 views
The characterization of pure consequence relations by regular connectives
Let a consequence relation be a relation between sets of formulas that admits a collection of regular connectives, and let classical logic provide the reference collection of regul…