The History of Categorical Logic: 1963–1977

DOI10.1016/B978-0-444-51621-3.50010-4zbMath1255.03011OpenAlexW26677252MaRDI QIDQ3166619

Gonzalo E. Reyes, Jean-Pierre Marquis

Publication date: 12 October 2012

Published in: Handbook of the History of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/b978-0-444-51621-3.50010-4

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Categorical logic, topoi (03G30) History of mathematical logic and foundations (03-03)

Related Items (6)

A comparison between monoidal and substructural logics ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ Polyadic spaces and profinite monoids ⋮ Contrary-to-duty reasoning: a categorical approach ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ Structuring co-constructive logic for proofs and refutations

This page was built for publication: The History of Categorical Logic: 1963–1977