Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM

MaRDI QIDQ3096993zbMATH OpenFDO

Authors Dave Barker-Plummer, Jon Barwise, John Etchemendy

Publication date 15 November 2011

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• scientific article; zbMATH DE number 872502
• scientific article; zbMATH DE number 607283
• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 3715499
• An introduction to formal logic

Cited in

(11)

• scientific article; zbMATH DE number 819502 (Why is no real title available?)
• Software Tools in Logic Education: Some Examples
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
• Identity and intensionality in univalent foundations and philosophy
• ORGANON The Web Tutor for Basic Logic Courses
• Eliciting implicit assumptions of Mizar proofs by property omission
• Truth diagrams versus extant notations for propositional logic
• The Deduction Theorem (Before and After Herbrand)
• Logical forms: validity and variety of formalizations
• Knowledge-first believing the unknowable
• Weak and strong compatibility in data fitting problems under interval uncertainty

Describes a project that uses

Uses Software

• LPL software

This page was built for publication: Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM

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