The three-valued logic of quadratic form theory over real rings

This paper is a survey of the interaction between the three-valued propositional calculus of Lukasiewicz-Post and the axiomatic versions of quadratic form theory over (semi-real) rings known as abstract real spectra and real semigroups. © 2008 The authors and IOS Press. All rights reserved.

Detalles Bibliográficos
Autor principal: Petrovich, Alejandro Gustavo
Publicado: 2008
Materias:
Abstract order space
Abstract real spectrum
Post algebra
Real semigroup
Special group
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97815860_v_n_p49_Dickmann
http://hdl.handle.net/20.500.12110/paper_97815860_v_n_p49_Dickmann
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario:This paper is a survey of the interaction between the three-valued propositional calculus of Lukasiewicz-Post and the axiomatic versions of quadratic form theory over (semi-real) rings known as abstract real spectra and real semigroups. © 2008 The authors and IOS Press. All rights reserved.

Ejemplares similares