Effectiveness in RPL, with applications to continuous logic

Annals of Pure and Applied Logic 161 (6):789-799 (2010)
  Copy   BIBTEX


In this paper, we introduce a foundation for computable model theory of rational Pavelka logic and continuous logic, and prove effective versions of some related theorems in model theory. We show how to reduce continuous logic to rational Pavelka logic. We also define notions of computability and decidability of a model for logics with computable, but uncountable, set of truth values; we show that provability degree of a formula with respect to a linear theory is computable, and use this to carry out an effective Henkin construction. Therefore, for any effectively given consistent linear theory in continuous logic, we effectively produce its decidable model. This is the best possible, since we show that the computable model theory of continuous logic is an extension of computable model theory of classical logic. We conclude with noting that the unique separable model of a separably categorical and computably axiomatizable theory is decidable



    Upload a copy of this work     Papers currently archived: 92,283

External links

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

Through your library

Similar books and articles

Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
Stability and stable groups in continuous logic.Itaï Ben Yaacov - 2010 - Journal of Symbolic Logic 75 (3):1111-1136.
Improving clinical effectiveness: a practical approach.E. A. Waters - 1997 - Journal of Evaluation in Clinical Practice 3 (4):255-264.
Standard completeness theorem for ΠMTL.Rostislav Horĉík - 2005 - Archive for Mathematical Logic 44 (4):413-424.
On the continuity points of left-continuous t-norms.S. Jenei & F. Montagna - 2003 - Archive for Mathematical Logic 42 (8):797-810.
The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
Continuous fuzzy Horn logic.Vilém Vychodil - 2006 - Mathematical Logic Quarterly 52 (2):171-186.
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.
Fuzzy logics based on [0,1)-continuous uninorms.Dov Gabbay & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):425-449.
Potential continuity of colorings.Stefan Geschke - 2008 - Archive for Mathematical Logic 47 (6):567-578.
Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.


Added to PP

93 (#185,648)

6 months
8 (#370,225)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Farzad Didehvar
Amir Kabir University University (Tehran Polytechnic)

References found in this work

Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.

View all 10 references / Add more references