Omitting uncountable types and the strength of [0,1]-valued logics

&
Annals of Pure and Applied Logic 165 (6):1169-1200 (2014)
  Copy   BIBTEX

Abstract

We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.01.005

Links

PhilArchive



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

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 for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
On axiomatization of many-valued logics associated with formalization of plausible reasonings.O. M. Anshakov, V. K. Finn & D. P. Skvortsov - 1989 - Studia Logica 48 (4):423 - 447.
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
Omitting uncountable types and extensions of Elementary logic.Per Lindström - 1978 - Theoria 44 (3):152-156.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.

Analytics

Added to PP
2015-01-22

Downloads
17 (#849,202)

6 months
9 (#295,075)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Two applications of topology to model theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.

View all 6 citations / Add more citations

References found in this work

Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3‐6):45-52.
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3-6):45-52.

View all 19 references / Add more references