Open AccessResolution for hybrid logics
Author(s) -
Stanislovas Norgėla
Publication year - 2011
Publication title -
lietuvos matematikos rinkinys
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2335-898X
pISSN - 0132-2818
DOI - 10.15388/lmr.2011.ml06
Subject(s) - resolution (logic) , computer science , algorithm , mathematics , calculus (dental) , algebra over a field , pure mathematics , programming language , medicine , dentistry
We describe a resolution method and a procedure to transform formulae of some pure hybrid logics into their clausal form.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom