Premium
Untersuchungen über die Banach‐Logik
Author(s) -
Schwartz Dietrich
Publication year - 1979
Publication title -
mathematical logic quarterly
Language(s) - German
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19790250705
Subject(s) - citation , computer science , mathematical economics , mathematics , library science
Die Arbeit gliedert sich in vier Abschnitte. Im ersten Abschnitt behandeln wir die Ausdrucksbestimmungen der Ranach-Logik. Der zweite Abschnitt beschiiftigt sirh niit den semantischen Grundbegriffen. Gegenstand des dritten Abschnittes ist die Einfuhrung der syntaktisch widerspruchsfreien Mengen von Ausdrucken. Im abschlieBenden vierten Abschnitt wird eine syntaktische Charakterisierung der semantisch widerspruchsfreien Mengen von Ausdriicken hergeleitet.