Categorical Semantics

In J. Dunn & A. Gupta, Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 155--175 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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

Proof-Oriented Categorical Semantics.Marco Benini - 2016 - In Dieter Probst & Peter Schuster, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter. pp. 41-68.
A categorical semantics for polarized MALL.Masahiro Hamano & Philip Scott - 2007 - Annals of Pure and Applied Logic 145 (3):276-313.
Categorical semantics of metric spaces and continuous logic.Simon Cho - 2020 - Journal of Symbolic Logic 85 (3):1044-1078.
Categorical semantics for higher order polymorphic lambda calculus.R. A. G. Seely - 1987 - Journal of Symbolic Logic 52 (4):969-989.
N.A. Vasil’ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic.D. Y. Maximov - 2016 - Logica Universalis 10 (1):21-43.
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.Yoshihiro Maruyama - 2013 - In L. Libkin, U. Kohlenbach & R. de Queiroz, Logic, Language, Information, and Computation. WoLLIC 2013. Lecture Notes in Computer Science, vol 8071. Springer. pp. 211-225.
Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers.Dusko Pavlovic - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Cham: Springer Verlag. pp. 1005-1070.
Nuel Belnap: Doctoral students.Carlos Giannoni, Robert Meyer, J. Michael Dunn, Peter Woodruff, James Garson, Kent Wilson, Dorothy Grover, Ruth Manor, Alasdair Urquhart & Garrel Pottinger - 1990 - In J. Dunn & A. Gupta, Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers.
The myth of the intuitionistic “Or”.A. P. Hazen - 1990 - In J. Dunn & A. Gupta, Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 177--195.
What Mathematical Truth Need Not Be.Virginia Klenk - 1990 - In J. Dunn & A. Gupta, Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 197--208.

Analytics

Added to PP
2014-02-02

Downloads
51 (#1,160,164)

6 months
6 (#1,537,359)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of James W. Garson
James W. Garson
University of Houston

Citations of this work

Classical Logic.Bruno Da Ré, Paula Teijeiro & Damian Szmuc - 2026 - In Paula Teijeiro & Eduardo Alejandro Barrio, Metainferences in Substructural Logics. Cham: Springer Nature Switzerland. pp. 11-59.
Categorical Quantification.Constantin C. Brîncuş - 2024 - Bulletin of Symbolic Logic 30 (2):pp. 227-252.
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
Valuational semantics of rule derivability.Lloyd Humberstone - 1996 - Journal of Philosophical Logic 25 (5):451 - 461.
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references