Outline of a Self-Reflecting Theory

MaRDI QIDQ6508877arXivFDO

Authors Mikhail Patrakeev

Published in arXiv

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03A99) Other nonclassical logic (03B60)

Abstract: We call an interpreted theory self-reflecting iff this theory is its own meta-theory, which means that this theory describes its own syntax, semantics, rules, axioms, and interpretation. We construct such a theory in this paper

This page was built for publication: Outline of a Self-Reflecting Theory

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