381 search results - page 12 / 77 » Tableaux for Acceptance Logic |
JAR
2008
14 years 11 months ago
2008
JAR
2000
14 years 11 months ago
2000
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
TABLEAUX
2005
Springer
15 years 5 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...