Elimination of Quantifiers on Łukasiewicz Logics
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
1989
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 02415caa a22003137a 4500 | ||
|---|---|---|---|
| 001 | PAPER-11999 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204212.0 | ||
| 008 | 190411s1989 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-84985351718 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Martínez, N.G. | |
| 245 | 1 | 0 | |a Elimination of Quantifiers on Łukasiewicz Logics |
| 260 | |c 1989 | ||
| 270 | 1 | 0 | |m Martínez, N.G.; Depto. de Matemática, Facultad de Ciencias Exactas y Naturales Diudad Universitaria, Pabellón 1, Buenos Aires, 1428, Argentina |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Cignoli, R., An algebraic approach to elementary theories based on n‐valued Łukasiewicz logics (1984) This Zeitschrift, 30, pp. 87-96 | ||
| 504 | |a Cignoli, R., Proper n‐valued Łukasiewicz as C‐algebras of Łukasiewicz n valued propositional calculi (1982) Studia Logics, 41, pp. 3-16 | ||
| 504 | |a Cignoli, R., (1970), Moisil algebras. Notes de Lógica Metemática N 27, UNS. Bahia Blanca; Cignoi, R., (1980), pp. 49-68. , Some algbraic aspects of many valued logics. In: Proceedings of the third Brazilian Conference on Mathematical logic. Sao Paulo; Rasinwa, H., (1974) An Algebraic Approach to Non‐Classical Logics, , North‐Holland Publ. Comp., Amsterdam | ||
| 504 | |a D'Ottavlano, I., Sobre uma teoria de modelos trivalente. Tesis Doctoral. Unicamp. Universidade estadual de Campinas; Shoenfield, J., (1973) Mathematical Logic, , Addison‐Wesley, Reading, Mass | ||
| 593 | |a Depto. de Matemática, Facultad de Ciencias Exactas y Naturales Diudad Universitaria, Pabellón 1, Buenos Aires, 1428, Argentina | ||
| 773 | 0 | |d 1989 |g v. 35 |h pp. 15-21 |k n. 1 |p Math. Logic Q. |x 09425616 |t Mathematical Logic Quarterly | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84985351718&doi=10.1002%2fmalq.19890350103&partnerID=40&md5=7bd75a9aedf8f6a3c0b6e4c4b0cdcaf9 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1002/malq.19890350103 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_09425616_v35_n1_p15_Martinez |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09425616_v35_n1_p15_Martinez |y Registro en la Biblioteca Digital |
| 961 | |a paper_09425616_v35_n1_p15_Martinez |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 72952 | ||