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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,990

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

Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
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.
Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - 2022 - Journal of Philosophical Logic 51 (4):825-856.
Abstract Logics and Lindström's Theorem.Niclas Bengtsson - unknown
The Skolem-löwenheim theorem in toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.

Analytics

Added to PP
2016-06-30

Downloads
37 (#584,862)

6 months
8 (#513,029)

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