Logic and relativity theory.

Gergely Székely

Published in: Synth. (2015)

Keyphrases

formal theory
computer algebra
commonsense reasoning
proof theory
artificial intelligence
logic programming

asynchronous circuits
theoretical framework
set theory
logical framework
general theory
database

probability theory
theoretical basis
modal logic
formal methods
classical logic
computational properties

predicate logic
information theory
modal operators
information systems
information retrieval
neural network