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:

Several Remarks about Three-valued Kleene's Propositional Logic, without Tautologies

Szczegóły
Abstrakt

Tytuł:: Several Remarks about Three-valued Kleene's Propositional Logic, without Tautologies
Autorzy:: Bryll, G.
Jaworski, L.
Data publikacji:: 2003
Słowa kluczowe:: propositional Kleene's logic
logic without tautologies
tautology
logika zdań Kleene'a
logika bez tautologii
tautologia
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

In this article we give, in the syntetic way, diferent formal aproachings to Kleene's propositional logic. In the work [5] S. C. Kleene gives a three-valued sentential calculus characterized by the following matrix:[formula]. The operators of the matrix are given by the formulas:[formula]. The operators have the tables: [tables]. It is easy to see that the set of tautologies is an empty set.

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

Several Remarks about Three-valued Kleene's Propositional Logic, without Tautologies