An axiomatization of predicate functor logic

Notre Dame Journal of Formal Logic 24 (2):233-241 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870313

Links

PhilArchive



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

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.
The completeness of a predicate-functor logic.John Bacon - 1985 - Journal of Symbolic Logic 50 (4):903-926.
A tableau system of proof for predicate-functor logic with identity.Teo Grünberg - 1983 - Journal of Symbolic Logic 48 (4):1140-1144.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
On the predicate logics of finite Kripke frames.D. Skvortsov - 1995 - Studia Logica 54 (1):79-88.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.
Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Three complexity problems in quantified fuzzy logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.

Analytics

Added to PP
2010-08-24

Downloads
69 (#232,145)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Kuhn
Georgetown University

Citations of this work

Individuals: an essay in revisionary metaphysics.Shamik Dasgupta - 2009 - Philosophical Studies 145 (1):35-67.
Is reality fundamentally qualitative?Andrew Bacon - 2019 - Philosophical Studies 176 (1):259-295.
The bare necessities.Shamik Dasgupta - 2011 - Philosophical Perspectives 25 (1):115-160.
Reading the Book of the World.Thomas Donaldson - 2015 - Philosophical Studies 172 (4):1051-1077.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references