MathDB1 problem
- 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…