Semi-intuitionistic Logic with Strong Negation |
| |
Authors: | Juan Manuel Cornejo Ignacio Viglizzo |
| |
Affiliation: | 1.Instituto de Matemática de Bahía Blanca (INMABB),Universidad Nacional del Sur-CONICET,Bahía Blanca,Argentina;2.Departamento de Matemática,Universidad Nacional del Sur (UNS),Bahía Blanca,Argentina |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|