The $n$-adic first-order undefinability of the Geach formula

, &
Notre Dame Journal of Formal Logic 22 (4):375-378 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883516

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,895

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

An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers.Angelina Ilić Stepić & Zoran Ognjanović - 2015 - Studia Logica 103 (1):145-174.
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.Wolfgang Stegmüller - 1964 - Notre Dame Journal of Formal Logic 5 (2):81-112.
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 , pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 , pp. 206–208. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245.
D I E K O M P O S I T I O N E N F R I E D R I C H NIETZSCHES.Curt Paul - 1972 - Nietzsche Studien 1 (1):173-184.
${\cal K}$ and ${\cal Z}$.George F. Schumm - 1974 - Notre Dame Journal of Formal Logic 15 (2):295-297.
Non-adjunctive inference and classical modalities.Horacio Arló Costa - 2005 - Journal of Philosophical Logic 34 (5/6):581 - 605.
Putting ${\cal K}$ in its place.George F. Schumm - 1978 - Notre Dame Journal of Formal Logic 19 (4):623-628.
Review of Peter Schotch, Bryson brown, Raymond Jennings (eds.), On Preserving: Essays on Preservationism and Paraconsistent Logic. [REVIEW]Zach Weber - 2009 - Notre Dame Philosophical Reviews 2009 (9).
dp-Rank and Forbidden Configurations.Hunter Johnson - 2013 - Notre Dame Journal of Formal Logic 54 (1):1-13.

Analytics

Added to PP
2010-08-24

Downloads
52 (#500,056)

6 months
12 (#422,229)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Peter Schotch
Dalhousie University
Ray Jennings
Simon Fraser University

Citations of this work

Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
Distribution in the logic of meaning containment and in quantum mechanics.Ross T. Brady & Andrea Meinander - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 223--255.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references