Dialectica logical principles: not only rules

DOI10.1093/LOGCOM/EXAC079MaRDI QIDQ5872880zbMATH OpenOpenAlexFDO

Authors Davide Trotta, Matteo Spadetto, Valeria de Paiva

Publication date 4 January 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/logcom/exac079

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Dialectica logical principles
• Dialectica principles via Gödel doctrines
• scientific article; zbMATH DE number 4104952
• Cartesian closed Dialectica categories
• The Dialectica monad and its cousins

Cited in

(8)

• Dialectica logical principles
• Dialectica principles via Gödel doctrines
• A characterization of generalized existential completions
• scientific article; zbMATH DE number 1097324 (Why is no real title available?)
• The Gödel fibration
• Quotients, pure existential completions and arithmetic universes
• Monoidal structures on generalized polynomial categories
• Categorifying computable reducibilities

This page was built for publication: Dialectica logical principles: not only rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5872880)