Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz

Francesco Lacava; Donato Saeli

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

  • Volume: 60, Issue: 4, page 359-367
  • ISSN: 0392-7881

Abstract

top
In this Note some algebraic properties of Łn-algebras are studied. Model-completion's existence and axioms, for Łn theories, are found.

How to cite

top

Lacava, Francesco, and Saeli, Donato. "Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 60.4 (1976): 359-367. <http://eudml.org/doc/291053>.

@article{Lacava1976,
author = {Lacava, Francesco, Saeli, Donato},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {4},
number = {4},
pages = {359-367},
publisher = {Accademia Nazionale dei Lincei},
title = {Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz},
url = {http://eudml.org/doc/291053},
volume = {60},
year = {1976},
}

TY - JOUR
AU - Lacava, Francesco
AU - Saeli, Donato
TI - Proprietà e model-completamento di alcune varietà di algebre di Łukasiewicz
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1976/4//
PB - Accademia Nazionale dei Lincei
VL - 60
IS - 4
SP - 359
EP - 367
LA - ita
UR - http://eudml.org/doc/291053
ER -

References

top
  1. BACSICH, P. D. (1973) - Primality and model-completions, «Algebra Universalis», 3 (3). Zbl0308.02052MR351953DOI10.1007/BF02945127
  2. BURRIS, S. e WERNER, H. (1975) - Sheaf constructions and their elementary properties, I, II, «Technische Hochschule Darmstadt», Preprint n. 230, Ottobre. Zbl0411.03022
  3. CHANG, C. C. (1958) - Algebraic analysis of many valued logics, «Trans. Amer. Math. Soc.», 88, 467-490. Zbl0084.00704MR94302DOI10.2307/1993227
  4. CHANG, C. C. (1959) — A new proof of the completenesss of the Lukasiewicz axioms, «Trans. Amer. Math. Soc.», 93, 74-80. MR122718DOI10.2307/1993423
  5. HIRSCHFELD, J. e WHEELER, W. (1975) - Forcing, Arithmetic, Division Rings, Springer-VerlagBerlin, Heidelberg, New York. Zbl0304.02024MR389581
  6. MANGANI, P. (1973) - Su certe algebre connesse con logiche a più valori, «Bollettino U.M.I.» (4), 8, 68-78. Zbl0274.02007MR337491
  7. ROSE, A. e ROSSER, J. B. (1958) - Fragments of many valued statement calculi, «Trans. Amer. Math. Soc.», 87, 1-53. Zbl0085.24303MR94299DOI10.2307/1993083
  8. SAELI, D. - Problemi di decisione per algebre connesse a logiche a più valori (in corso di stampa). Zbl0354.02037

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.