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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Axiomatization of fragments of S5.Thomas W. Scharle - 1975 - Notre Dame Journal of Formal Logic 16:45.
Kripke's axiomatization of S2.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13:379.
Matrix satisfiability and axiomatization.Robert Ackermann - 1971 - Notre Dame Journal of Formal Logic 12 (3):309-321.
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.Jacek K. Kabziński - 1984 - Notre Dame Journal of Formal Logic 25 (4):354-356.
The predicate modal logic of provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
Towards an axiomatization of value theory.P. E. Lauer - 1980 - Notre Dame Journal of Formal Logic 21 (1):51-77.
A new axiomatization of Belnap's conditional assertion.Daniel H. Cohen - 1986 - Notre Dame Journal of Formal Logic 27 (1):124-132.
A system of predicate logic with transatomic units.Richard Butrick - 1987 - Notre Dame Journal of Formal Logic 28 (3):431-438.
A note on the axiomatization of Rubin's system $(S)$.John Thomas Canty - 1965 - Notre Dame Journal of Formal Logic 6 (3):190-192.
A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.

Analytics

Added to PP
2010-08-24

Downloads
89 (#235,672)

6 months
13 (#257,195)

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 19 citations / Add more citations

References found in this work

No references found.

Add more references