Automated reasoning and nonclassical logics: Introduction

DOI10.1007/BF01880323zbMath0729.03505MaRDI QIDQ805615

Michael A. McRobbie

Publication date: 1991

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Uses Software

• Roo

Cites Work

• Linear logic
• 3088 varieties: A solution to the Ackermann constant problem
• All the Way with Wirtinger: A Short Proof of Bonnesen's Inequality
• Methods for Automated Theorem Proving in Nonclassical Logics
• R_I the Bounds of Finitude
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated reasoning and nonclassical logics: Introduction