- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):293-303 (1987)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Mathematical Logic Quarterly 33 (4):293-303.
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
The Proof-Theoretic Analysis of Transfinitely Iterated Quasi Least Fixed Points.Dieter Probst - 2006 - Journal of Symbolic Logic 71 (3):721 - 746.
Advances in the theory of μŁΠ algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.
Lattices of Fixed Points of Fuzzy Galois Connections.Radim Bělohlávek - 2001 - Mathematical Logic Quarterly 47 (1):111-116.
State-morphism MV-algebras.Antonio Di Nola & Anatolij Dvurečenskij - 2010 - Annals of Pure and Applied Logic 161 (2):161-173.
Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.
A completeness result for fixed‐point algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32‐34):525-532.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Fixed points and unfounded chains.Claudio Bernardi - 2001 - Annals of Pure and Applied Logic 109 (3):163-178.
An intensional fixed point theory over first order arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
Analytics
Added to PP
2015-12-02
Downloads
27 (#557,528)
6 months
1 (#1,459,555)
2015-12-02
Downloads
27 (#557,528)
6 months
1 (#1,459,555)
Historical graph of downloads
References found in this work
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.
Representation and duality theory for diagonalizable algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.
The fixed-point theorem for diagonalizable algebras.Claudio Bernardi - 1975 - Studia Logica 34 (3):239 - 251.
The uniqueness of the fixed-point in every diagonalizable algebra.Claudio Bernardi - 1976 - Studia Logica 35 (4):335 - 343.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo