MathDB1 problem
- 0 votes0 replies0 views
Completeness conjecture for the logics of matches
The paper considers the logics of matches and the formulas listed in Proposition … provide complete axiomatizations of the logics of matches. The preceding discussion establishes i…