Open AccessLogical and Mathematical Inference: Syntax and Semantics of Proof
Author(s) -
Aleksandr V. Khlebalin
Publication year - 2018
Publication title -
sibirskij filosofskij žurnal
Language(s) - English
Resource type - Journals
ISSN - 2541-7517
DOI - 10.25205/2541-7517-2018-16-3-28-37
Subject(s) - syntax , inference , metaphysics , semantics (computer science) , epistemology , relation (database) , logical consequence , computer science , mathematics , calculus (dental) , philosophy , natural language processing , programming language , medicine , dentistry , database