Going nowhere and back: is trivialization the same as zero execution?

MaRDI QIDQ6599527zbMATH OpenFDO

Authors Ivo Pezlar

Publication date 6 September 2024

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General logic (03Bxx)

Cited in

(2)

• Hyperintensions as computations
• Lexical predicates do substitute in fine-grained attitudes

This page was built for publication: Going nowhere and back: is trivialization the same as zero execution?

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