Open Access. Powered by Scholars. Published by Universities.®
![Digital Commons Network](http://assets.bepress.com/20200205/img/dcn/DCsunburst.png)
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Programming Languages and Compilers
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr
Rudolf Kaehr
Gödel's Proofs in the context of beautifying (Hehner) and re-beautifying in polycontextural logic. Deconstruction of the relevance.
Lambda Calculi In Polycontextural Situations, Rudolf Kaehr
Lambda Calculi In Polycontextural Situations, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.
Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr
Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr
Rudolf Kaehr
No abstract provided.