Open AccessBochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
Author(s) -
Alexander S. Karpenko,
Natalya Tomova
Publication year - 2016
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.2016.029
Subject(s) - iterated function , mathematics , negation , literal (mathematical logic) , intermediate logic , propositional variable , autoepistemic logic , propositional calculus , equivalence (formal languages) , pure mathematics , t norm fuzzy logics , monoidal t norm logic , lattice (music) , discrete mathematics , algebra over a field , computer science , algorithm , fuzzy logic , artificial intelligence , description logic , multimodal logic , programming language , mathematical analysis , physics , acoustics , fuzzy number , membership function , fuzzy set