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.