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