Finite approximability of forest superintuitionistic logics (Q1068076)

Eine superintuitionistische Logik ist eine Menge von aussagenlogischen Formeln, die abgeschlossen bezüglich Substitution und Modus ponens ist und die Axiome des intuitionistischen Aussagenkalküls enthält. Als Modelle fungieren ''Wälder'', d.h. halbgeordnete Mengen mit Baumordnung. Die Arbeit enthält als Resultat, daß jede solche Logik endlich approximierbar durch Bäume, d.h. endlich axiomatisierbar ist und gibt einen Entscheidungsalgorithmus an. Es wird bewiesen, daß für die Entscheidbarkeit eine bestimmten Menge von Kripkemodellen hinreichend ist.