A procedural criterion for final derivability in inconsistency-adaptive logics Fulltext Access 30 Pages 2005
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results Fulltext Access 30 Pages 2005
Comparing and implementing calculi of explicit substitutions with eta-reduction Fulltext Access 37 Pages 2005
Deductive databases for computing certain and consistent answers from mediated data integration systems Fulltext Access 39 Pages 2005
Combinations of tense and deontic modality: On the Rt approach to temporal logic with historical necessity and conditional obligation Fulltext Access 40 Pages 2005