Preservation theorems in linear continuous logic

&
Mathematical Logic Quarterly 60 (3):168-176 (2014)
  Copy   BIBTEX

Abstract

Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201200065

Links

PhilArchive



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

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

Some preservation theorems in an intermediate logic.Seyed M. Bagheri - 2006 - Mathematical Logic Quarterly 52 (2):125-133.
Effectiveness in RPL, with applications to continuous logic.Farzad Didehvar, Kaveh Ghasemloo & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):789-799.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.
Equality-free logic: the method of diagrams and preservation theorems.P. Dellunde - 1999 - Logic Journal of the IGPL 7 (6):717-732.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
Understanding preservation theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.
Linear model theory for Lipschitz structures.Seyed-Mohammad Bagheri - 2014 - Archive for Mathematical Logic 53 (7-8):897-927.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.

Analytics

Added to PP
2015-09-03

Downloads
27 (#572,408)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roghieh Safari
Tarbiat Modares University (PhD)

Citations of this work

Linear model theory for Lipschitz structures.Seyed-Mohammad Bagheri - 2014 - Archive for Mathematical Logic 53 (7-8):897-927.
Extreme types and extremal models.Seyed-Mohammad Bagheri - 2024 - Annals of Pure and Applied Logic 175 (7):103451.

Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.

Add more references