Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Davide BresolinAngelo MontanariPietro SalaGuido SciaviccoPublished in: TABLEAUX (2011)
Keyphrases
- piecewise linear
- optimal linear
- proof procedure
- linear systems
- semi infinite programming
- propositional logic
- modal logic
- distributed systems
- management system
- optimal solution
- computer systems
- logic programs
- continuous variables
- multi valued
- digital circuits
- dynamic programming
- asynchronous circuits
- binary valued
- knowledge base