Login / Signup
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