Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: tautologia

Sortuj według:

Ogranicz wyniki do:

Some dual logic without tautologies

Górnicka A., Bryll A.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2015

Vol. 20

39--47

On this paper we consider a logic dual to the logic CRA and prove that it does not contain tautologies.

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

Bryll G., Jaworski L.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2003

Vol. 9

11--15

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.