Categorical Semantics

In J. Dunn & A. Gupta (eds.), 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

Links

PhilArchive



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

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 Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. 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 (eds.), 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 (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. 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 (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers.
On What Cannot Be.Daniel Cohen - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 123--132.

Analytics

Added to PP
2014-02-02

Downloads
23 (#941,457)

6 months
5 (#1,042,355)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

James W. Garson
University of Houston

Citations of this work

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

References found in this work

No references found.

Add more references