Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi

Szczegóły
Opis

Tytuł:: 5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi
Autorzy:: Avron Arnon
Tematy:: INCONSISTENCY
MCI LOGIC
NONDETERMINISTIC MATRIX
PARACONSISTENT LOGIC
LIBRARY & INFORMATION SCIENCE
Język:: angielski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

5-VALUED NON-DETERMINISTIC SEMANTICS FOR THE BASIC PARACONSISTENT LOGIC mCi