Infinitary classical logic: recursive equations and interactive semantics

MaRDI QIDQ4995380zbMATH OpenFDO

Authors Michele Basaldella

Publication date 24 June 2021

Full work available at URL https://arxiv.org/abs/1409.3315, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC14.4

Mathematics Subject Classification ID

Other infinitary logic (03C75)

Recommendations

• scientific article; zbMATH DE number 1463257
• The intuitionistic fragment of computability logic at the propositional level
• From truth to computability. I.
• Dialogue interpretation of the classical predicate calculus
• On an inferential semantics for classical logic

Cited in

(1)

• scientific article; zbMATH DE number 6979315 (Why is no real title available?)

This page was built for publication: Infinitary classical logic: recursive equations and interactive semantics

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