Generalisation of first-order logic to nonatomic domains

Journal of Symbolic Logic 50 (3):815-838 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274334

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Monodic packed fragment with equality is decidable.Ian Hodkinson - 2002 - Studia Logica 72 (2):185-197.
Parity still isn't a generalisation problem.R. I. Damper - 1998 - Behavioral and Brain Sciences 21 (2):307-308.
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Partly Free Semantics for Some Anderson-Like Ontological Proofs.Mirosław Szatkowski - 2011 - Journal of Logic, Language and Information 20 (4):475-512.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Central gap domain restriction.Peter Pagin - manuscript
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.

Analytics

Added to PP
2009-01-28

Downloads
15 (#972,895)

6 months
2 (#1,255,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.
First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.

Add more citations

References found in this work

No references found.

Add more references