Alcune osservazioni sulla definibilità di operatori finiti e sulla decidibilità algoritmica della completezza funzionale e deduttiva delle logiche a più valori

Riassunto Si dà un algoritmo per decidere sulla definibilità di un operatore finito e si dimostra la ricorsiva insolubilità del problema generale della completezza funzionale o deduttiva delle logiche a più valori.

---

An algorithm is given, allowing to decide on the definibility of a finite operator. It is shown, too, that the general problem of the functional or deductive completeness of multivalued logics is recursively usolvable.

---

---

Lavoro effettuato nell'ambito dell'attività svolta dal gruppo di logica matematica del C.N.R.