Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Logic and Logical Philosophy

1 2014

1 Genito D.
1 Gerla G.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Connecting bilattice theory with multivalued logic

100%

Genito D. , Gerla G.

Logic and Logical Philosophy

2014

tom 23

nr 1

15–45

This is an exploratory paper whose aim is to investigate the potentialities of bilattice theory for an adequate definition of the deduction apparatus for multi-valued logic. We argue that bilattice theory enables us to obtain a nice extension of the graded approach to fuzzy logic. To give an example, a completeness theorem for a logic based on Boolean algebras is proved.