The History of Categorical Logic: 1963-1977

&
In Dov Gabbay, Akihiro Kanamori & John Woods (eds.), Handbook of the history of logic. Elsevier (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Categorical Foundations of Mathematics.Jean-Pierre Marquis - 2012 - Review of Symbolic Logic.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
Syllogistic with Indefinite Terms.Enrique Alvarez & Manuel Correia - 2012 - History and Philosophy of Logic 33 (4):297-306.
Fallacies and formal logic in Aristotle.David Hitchcock - 2000 - History and Philosophy of Logic 21 (3):207-221.
Alpha-conversion, conditions on variables and categorical logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.
Non-standard categorical syllogisms: four that leibniz forgot.Don Emil Herget - 1987 - History and Philosophy of Logic 8 (1):1-13.
On ℵ0-categorical nilrings. II.Gregory Cherlin - 1980 - Journal of Symbolic Logic 45 (2):291 - 301.
Foundations of clinical praxiology part II: Categorical and conjectural diagnoses.Kazem Sadegh-Zadeh - 1982 - Theoretical Medicine and Bioethics 3 (1):101-114.
ℵ0-categorical modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213 - 220.
Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
Upward Categoricity from a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Is there more than one categorical property?Robert Schroer - 2010 - Philosophical Quarterly 60 (241):831-850.
Interpreting groups in ω-categorical structures.Dugald Macpherson - 1991 - Journal of Symbolic Logic 56 (4):1317-1324.

Analytics

Added to PP
2012-07-17

Downloads
1,454 (#7,444)

6 months
125 (#31,230)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Pierre Marquis
Université de Montréal

Citations of this work

Add more citations

References found in this work

General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.
The independence of the continuum hypothesis.Paul Cohen - 1963 - Proc. Nat. Acad. Sci. USA 50 (6):1143-1148.
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.
La logique Des topos.André Boileau & André Joyal - 1981 - Journal of Symbolic Logic 46 (1):6-16.

View all 16 references / Add more references