scientific article; zbMATH DE number 5520283

MaRDI QIDQ3607747zbMATH OpenFDO

Authors George Boolos

Publication date 27 February 2009

zbMATH Keywords

MonographDecidabilityPeano ArithmeticModal LogicTextbookGödel Proof PredicateNormal SystemUnprovability of Consistency

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Relative consistency and interpretations (03F25)

Cited in

(6)

• Sequent calculi for intuitionistic Gödel-Löb logic
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Some remarks on Hartry Field's notion of “logical consistency”
• « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer
• L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
• A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})

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 Q3607747)