Open AccessNatural deduction for three-valued regular logics
Author(s) -
Yaroslav Petrukhin
Publication year - 2016
Publication title -
logic and logical philosophy
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2016.025
Subject(s) - recursion (computer science) , natural deduction , mathematics , t norm fuzzy logics , natural (archaeology) , classical logic , algebra over a field , pure mathematics , discrete mathematics , calculus (dental) , computer science , algorithm , artificial intelligence , medicine , dentistry , archaeology , membership function , fuzzy set , history , fuzzy logic