C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Proof of Standard Completeness for Esteva and Godo's Logic MTL.
Sándor Jenei
Franco Montagna
Published in:
Stud Logica (2002)
Keyphrases
</>
theorem proving
natural deduction
linear logic
proof theory
multi class
logic programming
multi valued
classical logic
automated theorem proving
proof search
decision trees
description logics
theorem prover
multi task learning
logical framework