Open AccessPropositional logic on the basis of algebraic system containing traditional syllogistics
Author(s) -
Yu.M. Smetanin
Publication year - 2013
Publication title -
vestnik udmurtskogo universiteta. matematika, mehanika, kompʹûternye nauki
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.354
H-Index - 8
eISSN - 2076-5959
pISSN - 1994-9197
DOI - 10.20537/vm130213
Subject(s) - propositional calculus , basis (linear algebra) , autoepistemic logic , algebraic number , propositional variable , mathematics , algebra over a field , zeroth order logic , computer science , discrete mathematics , calculus (dental) , programming language , pure mathematics , intermediate logic , multimodal logic , medicine , mathematical analysis , description logic , geometry , dentistry