Commutativity and self-reference

DOI10.1305/NDJFL/1093870156zbMATH Open0528.03009OpenAlexW1974406212MaRDI QIDQ786803FDOQ786803

Craig Smoryński

Publication date: 1982

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870156

zbMATH Keywords

fixed pointcommutativitycommuting operatorsarithmetical self-referencemodal analysis of arithmetical self-referencemodal logic GL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory and constructive mathematics (03F99)

Cited In (1)

• Fixed point algebras

   Recommendations

• Fixed points and self-reference 👍 👎
• Fixed point constructions 👍 👎
• On common fixed and periodic points of commuting functions 👍 👎
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Commutativity and self-reference

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