12774 search results - page 59 / 2555 » A Framework for Proof Systems |
AIML
2008
13 years 10 months ago
2008
abstract. We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a ...
ICSOFT
2007
13 years 10 months ago
2007
ECCC
2010
13 years 9 months ago
2010
FTTCS
2008
13 years 9 months ago
2008
IANDC
2006
13 years 8 months ago
2006
The paper presents a modular superposition calculus for the combination of firstorder theories involving both total and partial functions. The modularity of the calculus is a cons...