Login / Signup
Russian Logics and the Culture of Impossible: Part I - Recovering Intelligentsia Logics.
Ksenia Tatarchenko
Anya Yermakova
Liesbeth De Mol
Published in:
IEEE Ann. Hist. Comput. (2021)
Keyphrases
</>
expressive power
modal logic
inference rules
nonmonotonic logics
propositional dynamic logic
proof theory
genetic algorithm
case study
table of contents
computational properties
propositional calculus
horn logic
neural network
coalition logic
classical logic
computer vision
learning algorithm