Ganzgeschlossene und prädikatengeschlossene Logiken I

DOI10.1007/BF01974147zbMath0219.02007OpenAlexW2320074491MaRDI QIDQ5623652

Jörg Flum

Publication date: 1971

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Basic properties of first-order languages and structures (03C07)

Cites Work

• Skolem-type normal forms for first-order languages with a generalized quantifier
• A complete, infinitary axiomatization of weak second-order logic
• On axiomatizability within a system
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ganzgeschlossene und prädikatengeschlossene Logiken I