MathDB1 problem
- 0 votes0 replies0 views
Decidability conjecture for the extended multiple von Wright preference logic
The paper considers an extension of classical propositional calculus in which binary preference relations are defined over propositional formulae. Decidability conjecture. This log…