Bounded Dialectica interpretation: categorically

MaRDI QIDQ3119362zbMATH OpenFDO

Authors Valeria de Paiva

Publication date 11 March 2019

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categorical logic, topoi (03G30)

Recommendations

• Bounded functional interpretation
• On bounded functional interpretations
• The bounded functional interpretation of the double negation shift
• scientific article; zbMATH DE number 4104952
• A note on the monotone functional interpretation

Cited in

(1)

• Dialectical categories, cardinalities of the continuum and combinatorics of ideals

This page was built for publication: Bounded Dialectica interpretation: categorically

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