Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1

, &
Logic Journal of the IGPL 24 (3):321-345 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzw009

Links

PhilArchive



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

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 Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems. [REVIEW]Victor Harnik - 1986 - Journal of Symbolic Logic 51 (1):232-234.
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
There is no recursive link between the k-size of a model and its cardinality.R. Barker - 2002 - Annals of Pure and Applied Logic 118 (3):235-247.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
On models with variable universe.Bernd Ingo Dahn - 1975 - Studia Logica 34 (1):11 - 23.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
A Henkin-style proof of completeness for first-order algebraizable logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.

Analytics

Added to PP
2016-06-30

Downloads
26 (#610,229)

6 months
7 (#428,584)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Lindström theorems in graded model theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Extensions of first order logic.María Manzano - 1996 - New York: Cambridge University Press.
Fuzzy Sets.Lofti A. Zadeh - 1965 - Information and Control 8 (1):338--53.
[Omnibus Review].Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.

View all 16 references / Add more references