1549 search results - page 178 / 310 » On the rules of intermediate logics |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
CADE
1990
Springer
14 years 1 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
BIRTHDAY
2006
Springer
14 years 27 days ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
RSCTC
2000
Springer
14 years 22 days ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
TYPES
2000
Springer
14 years 22 days ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...