Open AccessThree-valued matrices with classical consequence relation for an arbitrary propositional language
Author(s) -
Л. Ю. Девяткин
Publication year - 2014
Publication title -
logičeskie issledovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2014-20-0-246-252
Subject(s) - relation (database) , propositional variable , propositional formula , mathematics , propositional calculus , calculus (dental) , computer science , discrete mathematics , programming language , intermediate logic , medicine , dentistry , database , description logic
In this paper the class of three-valued matrices with classical consequence relations is defined.