An Extension of Klein's Erlanger Program: Logic as Invariant-Theory

DOI10.2307/2371821zbMath0060.02010OpenAlexW2325482359WikidataQ55970203 ScholiaQ55970203MaRDI QIDQ5834304

F. I. Mautner

Publication date: 1946

Published in: American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2371821

zbMATH Keywords

foundations, philosophy, logic

Related Items

The Number of Structures of Finite Relations, INVARIANCE CRITERIA AS META-CONSTRAINTS, Algebra of algorithms and Kaluzhnin's graph-schemas, Logical operations and invariance, What are logical notions?, Higher Structures in Homotopy Type Theory, Extensionality and logicality, Logic, logics, and logicism, Über Einfachheitsprinzipien in der Wahrscheinlichkeitstheorie I