Finite approximability of forest superintuitionistic logics
type: Item
instance of: scholarly article
title: Finite approximability of forest superintuitionistic logics
zbMATH Open document ID: 0581.03018
DOI: 10.1007/BF01139937
author: Ya. M. Drugush
published in: Mathematical Notes
publication date: 1984-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 3928967
zbMATH Keywords: finite axiomatizability
zbMATH Keywords: Kripke models
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: forests
reviewed by: Erica Melis
MaRDI profile type: Publication
cites work: Q5582306
cites work: Q3247123
cites work: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
Recommended article: On Composing Finite Forests with Modal Logics
Recommended article: Modal Logics with Composition on Finite Forests
Recommended article: Q4198474
Recommended article: Q3329444
Recommended article: A result on the completeness of superintuitionistic logics
Recommended article: Q5753933
Recommended article: Finite axiomatizability of locally tabular superintuitionistic logics
Recommended article: Q3338210
Recommended article: LATIN 2004: Theoretical Informatics
Recommended article: Q3684108
description: scientific article; zbMATH DE number 3928967