scientific article; zbMATH DE number 977290

MaRDI QIDQ4331830zbMATH OpenFDO

Authors John J. Kelly

Publication date 11 February 1997

zbMATH Keywords

resolutionnatural deductionpredicate logicsemantic tableauxpropositional logictruth tables

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited in

(9)

• scientific article; zbMATH DE number 1391241 (Why is no real title available?)
• The logic of Pit
• Introduction to mathematical logic and resolution principle
• Logic—The Big Picture
• THE PURE LOGIC OF GROUND
• Logic as a tool. A concise guide to logical reasoning
• scientific article; zbMATH DE number 108022 (Why is no real title available?)
• The logic of essence
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)

This page was built for publication:

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