Open AccessNon-paradoxical logical consequence and the problem of solving ML-equations
Author(s) -
Yu.M. Smetanin
Publication year - 2016
Publication title -
programmnye sistemy: teoriâ i priloženiâ
Language(s) - English
Resource type - Journals
ISSN - 2079-3316
DOI - 10.25209/2079-3316-2016-7-1-99-115
Subject(s) - computer science , epistemology , calculus (dental) , psychology , philosophy , medicine , dentistry