The completeness of a predicate-functor logic

Journal of Symbolic Logic 50 (4):903-926 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273980

Links

PhilArchive



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

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

Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.
A tableau system of proof for predicate-functor logic with identity.Teo Grünberg - 1983 - Journal of Symbolic Logic 48 (4):1140-1144.
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Algebraic logic and predicate functors.W. V. Quine - 1971 - [Indianapolis,: Bobbs-Merrill.

Analytics

Added to PP
2009-01-28

Downloads
77 (#214,401)

6 months
15 (#163,632)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Is reality fundamentally qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.
Reading the Book of the World.Thomas Donaldson - 2015 - Philosophical Studies 172 (4):1051-1077.
A Language for Ontological Nihilism.Catharine Diehl - 2018 - Ergo: An Open Access Journal of Philosophy 5:971-996.

Add more citations

References found in this work

Symbolic Logic. An Introduction.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (4):266-268.
Quantifiers as modal operators.Steven T. Kuhn - 1980 - Studia Logica 39 (2-3):145 - 158.
The calculus of terms.Fred Sommers - 1970 - Mind 79 (313):1-39.
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.

View all 11 references / Add more references