Open AccessVerification of logical consequence, using the calculus of constituent sets and correspondences of Galois
Author(s) -
Iurii Smetanin
Publication year - 2017
Publication title -
programmnye sistemy: teoriâ i priloženiâ
Language(s) - English
Resource type - Journals
ISSN - 2079-3316
DOI - 10.25209/2079-3316-2017-8-2-69-93
Subject(s) - calculus (dental) , computer science , mathematics , programming language , algebra over a field , arithmetic , pure mathematics , medicine , dentistry