Scholarlink

<p>In this paper we introduce and study WF-algebra, the algebraic structure associated with basic weak subintuitionistic logic WF. We also prove the duality between descriptive NB-Neighborhood frames and WF-algebras. Among other things, we prove the amalgamation property for the class of WF-algebras.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Algebraic semantics for weak subintuitionistic logic WF

  • 期刊论文

  • 发表日期：

    2025年6月6日

查看全文
  • Fatemeh Shirmohammadzadeh Maleki

摘要

In this paper we introduce and study WF-algebra, the algebraic structure associated with basic weak subintuitionistic logic WF. We also prove the duality between descriptive NB-Neighborhood frames and WF-algebras. Among other things, we prove the amalgamation property for the class of WF-algebras.