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

Links

PhilArchive



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

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

Characterization classes defined without equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
Characterization Classes Defined without Equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.
On the completeness of the Lambek calculus with respect to relativized relational semantics.Nikolai Pankrat'ev - 1994 - Journal of Logic, Language and Information 3 (3):233-246.
Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.F. Parlamento - 2014 - Notre Dame Journal of Formal Logic 55 (3):383-395.
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
Perspectives on what to believe : the information-sensitivity of the doxastic 'should' and its implications for normative epistemology.Sebastian Josef Albrecht Becker - 2016 - Dissertation, University of St Andrews
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
Equality and Extensionality in Higher-Order Theorem Proving.Benzmüller Christoph - 1999 - Dissertation, Naturwissenschaftlich-Technische Fakultät I, Saarland University, Saarbrücken, Germany
A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.
Second-order type isomorphisms through game semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.

Analytics

Added to PP
2018-07-23

Downloads
28 (#524,295)

6 months
5 (#441,012)

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 19 references / Add more references