Dialectica logical principles: not only rules

DOI10.1093/LOGCOM/EXAC079OpenAlexW4308555470MaRDI QIDQ5872880FDOQ5872880

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)

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• A characterization of generalized existential completions
• Quotients, pure existential completions and arithmetic universes
• Dialectica principles via Gödel doctrines
• The Gödel fibration
• Title not available (Why is that?)

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)