2 search results - page 1 / 1 » Representation of formal dispute with a standing order |
AIL
2000
14 years 11 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
106
Voted
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...