On deciding the truth of certain statements involving the notion of consistency

DOI10.2307/2272395zbMath0359.02050OpenAlexW2078603002MaRDI QIDQ4132522

George Boolos

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272395

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (4)

Anderson and Belnap's invitation to sin ⋮ Provability: The emergence of a mathematical modality ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ In Memoriam: George Stephen Boolos 1940–1996

Cites Work

• Solution of a problem of Leon Henkin
• Unnamed Item

This page was built for publication: On deciding the truth of certain statements involving the notion of consistency