381 search results - page 12 / 77 » Tableaux for Acceptance Logic |
JAR
2008
13 years 8 months ago
2008
JAR
2000
13 years 8 months ago
2000
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
TABLEAUX
2009
Springer
14 years 3 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
14 years 2 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 ...