Approaching hard non-classical problems

DOI10.1007/BF01880333zbMath0743.03010OpenAlexW2061526692MaRDI QIDQ1181720

Paul B. Thistlewaite, Michael A. McRobbie

Publication date: 27 June 1992

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01880333

zbMATH Keywords

automatic theorem provingrelevant logic LR

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)

Cites Work

• Unnamed Item

This page was built for publication: Approaching hard non-classical problems