Very True Operators on Pre-semi-Nelson Algebras

IF 0.6 3区数学 Q2 LOGIC

Studia Logica Pub Date : 2024-05-03 DOI:10.1007/s11225-024-10109-1

Shokoofeh Ghorbani

引用次数: 0

Abstract

In this paper, we use the concept of very true operator to pre-semi-Nelson algebras and investigate the properties of very true pre-semi-Nelson algebras. We study the very true N-deductive systems and use them to establish the uniform structure on very true pre-semi-Nelson algebras. We obtain some properties of this topology. Finally, the corresponding logic very true semi-intuitionistic logic with strong negation is constructed and algebraizable of this logic is proved based on very true semi-Nelson algebras.

查看原文本刊更多论文

前半纳尔逊代数上的非常真算子

在本文中，我们将非常真算子的概念用于前半-尼尔逊代数，并研究了非常真前半-尼尔逊代数的性质。我们研究了非常真 N 演绎系统，并利用它们建立了非常真前半纳尔逊代数的统一结构。我们获得了这一拓扑的一些性质。最后，我们构建了相应的具有强否定的非常真半直觉逻辑，并基于非常真半纳尔逊数组证明了该逻辑的可代数性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Studia Logica MATHEMATICS-LOGIC

CiteScore

1.70

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.