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
Autores principales: Dickmann, M., Petrovich, A.
Formato: CHAP
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_97815860_v_n_p49_Dickmann
Aporte de:
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.