These structures arise as straightforward generalisations of the corresponding structures used in infinitary term rewriting.
Patrick Bahr 2013, 'Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)',Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1302.6335v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
The formulas of our language are possibly infinitary trees labeled by propositionalvariables and logical connectives.
Michele Basaldella 2014, 'Infinitary Classical Logic: Recursive Equations and Interactive Semantics', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1409.3315v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic.
Michele Basaldella 2014, 'Infinitary Classical Logic: Recursive Equations and Interactive Semantics', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1409.3315v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)