scientific article
From MaRDI portal
Publication:3096993
zbMath1318.03001MaRDI QIDQ3096993
John Etchemendy, Jon Barwise, Dave Barker-Plummer
Publication date: 15 November 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items
The Deduction Theorem (Before and After Herbrand) ⋮ Eliciting implicit assumptions of Mizar proofs by property omission ⋮ Identity and intensionality in univalent foundations and philosophy ⋮ Knowledge-first believing the unknowable ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Truth diagrams versus extant notations for propositional logic ⋮ Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty
Uses Software