Displaying similar documents to “Problemi di decisione per algebre connesse a logiche a più valori”

Algebre di Koszul

Aldo Conca (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

The goal of the talk is to introduce and discuss the notion Koszul algebra in the commutative setting along with the associated notions of G-quadraticity and Koszul filtration. We present some results that appear in the papers [C, CTV, CRV] joint with M.E.Rossi, N.V.Trung and G.Valla. These results concern Koszul and G-quadratic properties of algebras associated with points, curves, cubics and spaces of quadrics of low codimension.

Alcune proprietà delle algebre di Boole principali

Francesco Lacava (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In this paper some properties of principal Boolean algebras are studied.

Alcune proprietà delle algebre di Boole principali

Francesco Lacava (1983)

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

Similarity:

In this paper some properties of principal Boolean algebras are studied.

Su un teorema di Ariki

Michela Varagnolo (2018)

Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana

Similarity:

In questa nota si vuole introdurre il lettore alla teoria delle rappresentazioni. Presenteremo un risultato di Ariki del 1996, un esempio delle tecniche recenti che usano le interazioni tra le differenti teorie (rappresentazioni di gruppi, di algebre associative, di algebre di Lie) e con la geometria (ma faremo solo un cenno alla fine su quest'ultimo punto).

La Logica dei Poliedri

Daniele Mundici (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

We describe the deep relationship between rational polyhedra, weighted abstract simplicial complexes, and finitely presented MV-algebras – the algebras of finitely axiomatizable theories in Łukasiewicz infinite-valued logic. Combining Alexander's classical stellar machinery with the solution, by Wklodarczyk and Morelli, of the weak Oda conjecture on toric varieties, we shall present several results involving classification, measurability, dissectability, and computability.

Sul teorema di Gelfand-Mazur

Nicola Rodino (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In this note we produce a complex algebra without characters and which does not contain a proper extension of the complex number field.

Sul teorema di Gelfand-Mazur

Nicola Rodino (1982)

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

Similarity:

In this note we produce a complex algebra without characters and which does not contain a proper extension of the complex number field.

Calcoli generali con «tipi» e Logiche generalizzate

Piero Mangani (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.

Calcoli generali con «tipi» e Logiche generalizzate

Piero Mangani (1984)

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

Similarity:

In this paper we introduce a notion of "Generalized Logic" and we study some of its properties.

Proprietà e possibile ruolo regolativo della N—formil—tetraidrofolato: metionil-tRNA transformilasi in Euglena gracilis

Annastella Gambini, Paolo Crosti, Paolo Tortora, Giovanni Lucchini, Renato Bianchetti (1974)

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

Similarity:

The properties of N-formyl-tetrahydrofolate: methionyl-tRNA transformylase from Euglena gracilis were studied and compared with those of the E. coli enzyme. The Euglena enzyme, functioning in formylation of met-tRNA initiator of organellar protein synthesis, shows a partial requirement of Mg, with an optimum of 5 mM, stimulation by K, Km for N-formyl-THFA 2.5 x 10 M. These properties are different from those of the bacterial enzyme. For example the affinity for the substrate N-formyl-THFA...

Questo numero è primo? Sì, forse, dipende ...

Luisella Caire, Umberto Cerruti (2006)

Bollettino dell'Unione Matematica Italiana

Similarity:

In this paper we outline some algorithms answering the question if a given number is prime: primally criteria, that are deterministic (they positively reply yes or not) and unconditional, but inefficient (technically not polynomial-time); algoritms that are efficient, but only probabilistic (to say they give absolute certainty if they answer not, whereas they only give a low boundary of the probability for the number to be prime if they answer yes); algorithms that are the same time...