Cartesian logic
From MaRDI portal
Publication:1605480
DOI10.1016/S0304-3975(00)00328-5zbMath1004.03052MaRDI QIDQ1605480
Publication date: 18 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
completenesssyntaxcartesian categoryalternating logiccartesian logiccartesian theoryconservative universal modeldisjunctive logic
Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ Partial Horn logic and Cartesian categories ⋮ A new framework for declarative programming
This page was built for publication: Cartesian logic
