On the Unity of Logic.

Jean-Yves Girard

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

logic programming
proof theory
modal logic
classical logic
databases
database systems
multi valued
predicate logic
search engine
knowledge base
website
relational databases
evolutionary algorithm
asynchronous circuits
dynamic logic