Problemi di decisione per algebre connesse a logiche a più valori

Donato Saeli

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti (1975)

  • Volume: 59, Issue: 3-4, page 219-223
  • ISSN: 0392-7881

Abstract

top
In this Note the Ł-chains elementary theory is proved to be decidable (cfr. [5]).

How to cite

top

Saeli, Donato. "Problemi di decisione per algebre connesse a logiche a più valori." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 59.3-4 (1975): 219-223. <http://eudml.org/doc/290907>.

@article{Saeli1975,
author = {Saeli, Donato},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {9},
number = {3-4},
pages = {219-223},
publisher = {Accademia Nazionale dei Lincei},
title = {Problemi di decisione per algebre connesse a logiche a più valori},
url = {http://eudml.org/doc/290907},
volume = {59},
year = {1975},
}

TY - JOUR
AU - Saeli, Donato
TI - Problemi di decisione per algebre connesse a logiche a più valori
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1975/9//
PB - Accademia Nazionale dei Lincei
VL - 59
IS - 3-4
SP - 219
EP - 223
LA - ita
UR - http://eudml.org/doc/290907
ER -

References

top
  1. CHANG, C. C. (1958) - Algebraic analysis of many valued logics, «Trans. Amer. Math. Soc.», 88, 467-490. Zbl0084.00704MR94302DOI10.2307/1993227
  2. CHANG, C. C. (1959) - A new proof of the completeness of the Lukasiewicz axioms, «Trans. Amer. Math. Soc.», 95, 74-80. Zbl0093.01104MR122718DOI10.2307/1993423
  3. Yu. ERSHOV, L., LAVROV, I. A., TAIMANOV, A. D. e TAITSLIN, M. A. (1965) - Elementary theories, «Russian Mathematicol Surveys», 20, 35-105. MR186553
  4. GUREVICH, YU. SH. (1964) - Elementary properties of ordered abelian groups, «Algebra i Logika Seminar», 3 (1), 5-39. MR161800
  5. MANGANI, P. (1973) - Su certe algebre connesse con logiche a più valori, «Bollettino U.M.I.» 8 (4), 68-78. Zbl0274.02007MR337491
  6. ROSE, A. e ROSSER, J. B. (1958) - Fragments of many valued statement calculi, «Trans. Amer. Math. Soc.», 87, 1-53. Zbl0085.24303MR94299DOI10.2307/1993083

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.