Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Cercetãri funcţionale în logicile demonstraţionale

Domenii publicaţii > Matematica + Tipuri publicaţii > Tezã de doctorat (nepublicatã)

Autori: Rusu Andrei

Editorial: 1997.

Rezumat:

It was proved that the simplest non-classical provability propositional logic has 40 precomplete with respect to functional expressibility classes of formulas. It was proved that if a propositional provability logic L is not local tabular, then there are infinitely many precomplete as to functional expressibility classes of formulas in it. It was also proved that L poseses functional bases of any finite rank.

Cuvinte cheie: functional expressibility, clones in universal algebras, diagonalizable algebras, provability logics

URL: http://www.geocities.com/agrusu/