Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 2 of 2

Order by Relevance | Title | Year of publication

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

Donato Saeli — 1975

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

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

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

Francesco Lacava; Donato Saeli — 1976

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

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

Page 1

Download Results (CSV)