Über deduktive Theorien mit mehreren Sorten von Grunddingen

DOI10.1007/BF01448954MaRDI QIDQ2645969zbMATH OpenFDO

Authors Arnold Schmidt

Publication date 1938

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/159977

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(11)

• A theory of restricted quantification I
• Nonhomogeneous Polyadic Algebras
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems
• Syntactical Transforms
• Syllogism and quantification
• On syntactical categories
• Truth Definitions and Consistency Proofs
• Logic of many-sorted theories
• Neo-Logicism and Its Logic
• Foundations of applied mathematics. I
• Discrete quantum structures. I: Quantum predicate logic

This page was built for publication: Über deduktive Theorien mit mehreren Sorten von Grunddingen

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