From Ramon Llull To Lov Grover: Towards A Universal Logic Machine.

George Opsahl Marek A. Perkowski

Published in: ISMVL (2023)

Keyphrases

multi valued
modal logic
logic programming
classical logic
social networks
data model
flowshop
automated reasoning
computational properties
epistemic logic
turing machine
asynchronous circuits