Finite axiomatizability of locally tabular superintuitionistic logics
From MaRDI portal
Publication:581390
DOI10.1007/BF01142480zbMath0627.03008MaRDI QIDQ581390
Publication date: 1986
Published in: Mathematical Notes (Search for Journal in Brave)
Related Items
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ On finitely-generated Johansson algebras ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Two sequences of locally tabular superintuitionistic logics
Cites Work
