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

zbMATH Open1318.03001MaRDI QIDQ3096993FDOQ3096993

Authors: Dave Barker-Plummer, Jon Barwise, John Etchemendy 

Publication date: 15 November 2011

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

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)

Cited In (11)

• Title not available (Why is that?)
• 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
• The Deduction Theorem (Before and After Herbrand)
• Truth diagrams versus extant notations for propositional logic
• Logical forms: validity and variety of formalizations
• Knowledge-first believing the unknowable
• Weak and strong compatibility in data fitting problems under interval uncertainty

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)