An arithmetical view to first-order logic

, &
Annals of Pure and Applied Logic 161 (6):745-755 (2010)
  Copy   BIBTEX

Abstract

A value space is a topological algebra equipped with a non-empty family of continuous quantifiers . We will describe first-order logic on the basis of . Operations of are used as connectives and its relations are used to define statements. We prove under some normality conditions on the value space that any theory in the new setting can be represented by a classical first-order theory

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2009.06.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

The logic of integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.
Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability.Pawel Pawlowski & Rafal Urbaniak - forthcoming - Logic and Logical Philosophy:1-27.
Modal logic and invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.
Model theoretic forcing in analysis.Itaï Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
Generalising canonical extension to the categorical setting.Dion Coumans - 2012 - Annals of Pure and Applied Logic 163 (12):1940-1961.
A common axiom set for classical and intuitionistic plane geometry.Melinda Lombard & Richard Vesley - 1998 - Annals of Pure and Applied Logic 95 (1-3):229-255.
On the expressiveness of choice quantification.Bas Luttik - 2003 - Annals of Pure and Applied Logic 121 (1):39-87.
On phase semantics and denotational semantics: the exponentials.Antonio Bucciarelli & Thomas Ehrhard - 2001 - Annals of Pure and Applied Logic 109 (3):205-241.

Analytics

Added to PP
2013-12-18

Downloads
40 (#113,921)

6 months
12 (#1,086,452)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references