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