3 search results - page 1 / 1 » Asynchronous Games 4: A Fully Complete Model of Propositiona... |
LICS
2005
IEEE
14 years 18 days ago
2005
IEEE
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
TABLEAUX
2000
Springer
13 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...