Evento

Semi-Intuitionistic Logic with Strong Negation

Cornejo, Juan ManuelIcon ; Viglizzo, Ignacio DarioIcon
Tipo del evento: Congreso
Nombre del evento: XIV Congreso Dr. Antonio Monteiro
Fecha del evento: 31/05/2017
Institución Organizadora: Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca;
Título de la revista: Actas del Congreso XIV Dr. Antonio A. R. Monteiro
Editorial: Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática de Bahía Blanca
ISSN: 0327-9170
Idioma: Español
Clasificación temática:

Resumen

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.
Palabras clave: INTUITIONISTIC LOGIC WITH STRONG NEGATION , SEMI INTUITIONISTIC LOGIC WITH STRONG NEGATION , NELSON ALGEBRAS , SEMI NELSON ALGEBRAS
 
Archivos asociados
Thumbnail
 
Tamaño: 221.2Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/158627
URL: https://www.matematica.uns.edu.ar/xivcm/spanish.php
Colecciones
Eventos(INMABB)
Eventos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Semi-Intuitionistic Logic with Strong Negation; XIV Congreso Dr. Antonio Monteiro; Bahía Blanca; Argentina; 2017; 1-11
Compartir