Definability and Quantifier Elimination for J 3-theories |
| |
| Authors: | Ítala M. L. D'Ottaviano |
| |
| Affiliation: | (1) Institute of Mathematics, Statistics and Computer Sciences, State University of Campinas, Campinas, Brazil |
| |
| Abstract: | The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J3-theories were introduced in the author's doctoral dissertation. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
