Some preservation theorems in an intermediate logic

Mathematical Logic Quarterly 52 (2):125-133 (2006)
  Copy   BIBTEX

Abstract

We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1]

Categories

Keywords

Reprint years

DOI

10.1002/malq.200510019

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.
Paraconsistent logic and model theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.
Fuzzy Horn logic II.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (2):149-177.
On translations of complete first order theories.Seyed Mohammad Bagheri - 2003 - Mathematical Logic Quarterly 49 (1):87-91.
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.
Inductive inference in the limit of empirically adequate theories.Bernhard Lauth - 1995 - Journal of Philosophical Logic 24 (5):525 - 548.

Analytics

Added to PP
2013-12-01

Downloads
17 (#866,557)

6 months
7 (#425,099)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A logic stronger than intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.

Add more references