Approaching hard non-classical problems

DOI10.1007/BF01880333MaRDI QIDQ1181720zbMATH OpenOpenAlexFDO

Authors 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)

Review text

The authors discuss automatic theorem proving approaches suitable for the non-classical relevant logic LR.

Recommendations

• scientific article; zbMATH DE number 4061793
• Problems and solutions in nonrelativistic quantum mechanics
• scientific article; zbMATH DE number 4188359
• Problems with nonlinear quantum mechanics
• Problems in classical and quantum mechanics. Extracting the underlying concepts
• David Makinson on classical methods for non-classical problems
• Computation of Nonclassical Solutions to Hamilton--Jacobi Problems
• Some Mathematical Problems Related to Classical-Quantum Interactions
• Nonclassical boundary-value problems. II

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1181720)