First order logic without equality on relativized semantics

&
Annals of Pure and Applied Logic 169 (11):1227-1242 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.07.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

First order S4 and its measure-theoretic semantics.Tamar Lando - 2015 - Annals of Pure and Applied Logic 166 (2):187-218.
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.Miika Hannula & Jonni Virtema - 2022 - Annals of Pure and Applied Logic 173 (10):103108.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Coherence in inquisitive first-order logic.Ivano Ciardelli & Gianluca Grilletti - 2022 - Annals of Pure and Applied Logic 173 (9):103155.
Semantics of higher-order quantum computation via geometry of interaction.Ichiro Hasuo & Naohiko Hoshino - 2017 - Annals of Pure and Applied Logic 168 (2):404-469.
Axiomatizing first-order consequences in independence logic.Miika Hannula - 2015 - Annals of Pure and Applied Logic 166 (1):61-91.
A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
Strong conceptual completeness for first-order logic.Michael Makkai - 1988 - Annals of Pure and Applied Logic 40 (2):167-215.
Relativized Grothendieck topoi.Nathanael Leedom Ackerman - 2010 - Annals of Pure and Applied Logic 161 (10):1299-1312.
Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.

Analytics

Added to PP
2018-07-23

Downloads
44 (#503,404)

6 months
5 (#1,035,390)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Distances between formal theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.

Add more citations

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.

View all 16 references / Add more references