Open AccessOn Propositional Encoding of Distinction Property in Finite Sets
Author(s) -
Evgenia Beley,
А. А. Семенов
Publication year - 2019
Publication title -
izvestiâ irkutskogo gosudarstvennogo universiteta. seriâ "matematika"/izvestiâ irkutskogo gosudarstvennogo universiteta. seria matematika
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.411
H-Index - 3
eISSN - 2541-8785
pISSN - 1997-7670
DOI - 10.26516/1997-7670.2019.28.3
Subject(s) - property (philosophy) , encoding (memory) , propositional variable , mathematics , computer science , propositional formula , propositional calculus , discrete mathematics , programming language , intermediate logic , artificial intelligence , philosophy , epistemology , description logic