The Institution-Theoretic Scope of Logic Theorems.

Razvan Diaconescu Till Mossakowski Andrzej Tarlecki

Published in: Logica Universalis (2014)

Keyphrases

programming language
logic programming
classical logic
cut elimination
sequent calculus
modal logic
automated reasoning
information retrieval
higher education
truth values
asynchronous circuits
proof search
neural network
logical framework
linear logic
natural deduction