scientific article; zbMATH DE number 1341478

zbMath0932.03010MaRDI QIDQ4263017

Jens Otten, Heiko Mantel

Publication date: 13 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicprefix unificationtableau prover

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

IeanCOP: lean connection-based theorem proving ⋮ A logical characterization of forward and backward chaining in the inverse method ⋮ A Tableau Method for the Lambek Calculus based on a Matrix Characterization

Uses Software

• leanTAP
• linTAP
• ModLeanTAP

This page was built for publication: