The Contributions of Logic to the Foundations of Physics: Foreword.

Diederik Aerts Sonja Smets Jean Paul Van Bendegem

Published in: Stud Logica (2010)

Keyphrases

artificial intelligence
logic programming
computer science
special issue
logical framework
classical logic
computational properties
modal logic
proof theory
natural deduction
dynamic logic
asynchronous circuits
truth values
set theory
real time
expressive power
data structure
learning algorithm
real world
data sets