Finite approximability of forest superintuitionistic logics

DOI10.1007/BF01139937zbMath0581.03018MaRDI QIDQ1068076

Ya. M. Drugush

Publication date: 1984

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

Kripke modelsintuitionistic logicfinite axiomatizabilityforests

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Related Items (1)

Union of logics modeled by finite trees

Cites Work

• Unnamed Item
• Unnamed Item
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

This page was built for publication: Finite approximability of forest superintuitionistic logics