Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations Commons™

Open Access. Powered by Scholars. Published by Universities.®

Artificial Intelligence and Robotics

Formal Systems in Polycontextural Constellations

Articles 1 - 3 of 3

Full-Text Articles in Logic and Foundations

Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr Jan 2005

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.

Go to article

Lambda Calculi In Polycontextural Situations, Rudolf Kaehr Jan 2005

Lambda Calculi In Polycontextural Situations, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Go to article

Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr Jan 2005

Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Go to article