Semi-intuitionistic Logic with Strong Negation

被引：0

作者：

Juan Manuel Cornejo

Ignacio Viglizzo

机构：

[1] Universidad Nacional del Sur-CONICET,Instituto de Matemática de Bahía Blanca (INMABB)

[2] Universidad Nacional del Sur (UNS),Departamento de Matemática

来源：

Studia Logica | 2018年 / 106卷

关键词：

Semi-Nelson algebras; Intuitionism; Semi-intuitionistic logic; Intuitionistic logic with strong negation;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras.

引用

页码：281 / 293

页数：12

共 6 条

[1]

Cornejo JM(2011)Semi-intuitionistic logic Studia Logica 98 9-25

[2]

Cornejo JM(2015)On some semi-intuitionistic logics Studia Logica 103 303-344

[3]

Viglizzo ID(1949)Constructible falsity The Journal of Symbolic Logic 14 16-26

[4]

Nelson D(1985)Semi-Heyting algebras American Mathematical Society Abstracts 6 13-125

[5]

Sankappanavar HP(1977)Notes on Studia Logica 36 109-undefined

[6]

Vakarelov D(undefined)-lattices and constructive logic with strong negation undefined undefined undefined-undefined

← 1 →