33 search results - page 1 / 7 » Infinitary Howe's Method |
SLOGICA
2010
12 years 11 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
DIGRA
2005
Springer
13 years 10 months ago
2005
Springer
ENTCS
2006
13 years 4 months ago
2006
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
APAL
2006
13 years 4 months ago
2006
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
OTM
2009
Springer
13 years 9 months ago
2009
Springer
We present ontology databases with not-gadgets, a method for detecting inconsistencies in an ontology with large numbers of annotated instances by using triggers and exclusion depe...