Provable Fixed Points

&
Mathematical Logic Quarterly 34 (3):229-250 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340307

Other Versions

reprint De Jongh, Dick; Montagna, Franco (1988) "Provable Fixed Points". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(3):229-250

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Provable fixed points in ${\rm I}\Delta0+\Omega1$.Alessandra Carbone - 1991 - Notre Dame Journal of Formal Logic 32 (4):562-572.
Provable Fixed Points.Much Shorter Proofs.Rosser Orderings in Bimodal Logics.Much Shorter Proofs: A Bimodal Investigation. [REVIEW]Lev D. Beklemishev, Dick de Jongh, Franco Montagna & Alessandra Carbone - 1993 - Journal of Symbolic Logic 58 (2):715.
Franco Montagna’s Work on Provability Logic and Many-valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 , pp. 225–261. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.
Lattices of Fixed Points of Fuzzy Galois Connections.Radim Bělohlávek - 2001 - Mathematical Logic Quarterly 47 (1):111-116.
Fixed points and diagonal method.Maurizio Negri - 1990 - Mathematical Logic Quarterly 36 (4):319-329.
Correction to: Binary Modal Companions for Subintuitionistic Logics.Dick de Jongh & Fatemeh Shirmohammadzadeh Maleki - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer.
Largest fixed points of set continuous operators and Boffa's Anti-Foundation.Hisato Muraki - 2005 - Mathematical Logic Quarterly 51 (4):365.
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Mathematical Logic Quarterly 33 (4):293-303.

Analytics

Added to PP
2013-12-01

Downloads
43 (#518,702)

6 months
5 (#1,039,842)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dick De De Jongh
University of Amsterdam

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
Bounded arithmetic, proof complexity and two papers of Parikh.Samuel R. Buss - 1999 - Annals of Pure and Applied Logic 96 (1-3):43-55.

Add more citations

References found in this work

Add more references