Open AccessNormalisation for Some Quite Interesting Many-Valued Logics
Author(s) -
Nils Kürbis,
Yaroslav Petrukhin
Publication year - 2021
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2021.009
Subject(s) - intuitionism , negation , extension (predicate logic) , mathematics , logical consequence , intuitionistic logic , natural deduction , set (abstract data type) , t norm fuzzy logics , algebra over a field , discrete mathematics , calculus (dental) , pure mathematics , propositional calculus , algorithm , computer science , programming language , fuzzy logic , artificial intelligence , fuzzy set , geometry , medicine , dentistry , membership function