Predicate-functors and the limits of decidability in logic

Notre Dame Journal of Formal Logic 21 (4):701-707 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883255

Links

PhilArchive



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

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

Algebraic logic and predicate functors.W. V. Quine - 1971 - [Indianapolis,: Bobbs-Merrill.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
Predicate functors revisited.W. V. Quine - 1981 - Journal of Symbolic Logic 46 (3):649-652.
Fluted formulas and the limits of decidability.William C. Purdy - 1996 - Journal of Symbolic Logic 61 (2):608-620.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Decidability of some intuitionistic predicate theories.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (3):579-587.
Quine's 'limits of decision'.William C. Purdy - 1999 - Journal of Symbolic Logic 64 (4):1439-1466.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Issues of decidability and tractability.Witold Marciszewski (ed.) - 2006 - Białystok: University of Białystok.
Elements of deductive logic.Antony Eagle - manuscript
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.

Analytics

Added to PP
2010-08-24

Downloads
35 (#460,468)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The completeness of a predicate-functor logic.John Bacon - 1985 - Journal of Symbolic Logic 50 (4):903-926.
Fluted formulas and the limits of decidability.William C. Purdy - 1996 - Journal of Symbolic Logic 61 (2):608-620.
Decidability of Fluted Logic with Identity.William C. Purdy - 1996 - Notre Dame Journal of Formal Logic 37 (1):84-104.
Fred Sommers’ Contributions to Formal Logic.George Englebretsen - 2016 - History and Philosophy of Logic 37 (3):269-291.
The fluted fragment with transitive relations.Ian Pratt-Hartmann & Lidia Tendera - 2022 - Annals of Pure and Applied Logic 173 (1):103042.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references