Tytuł pozycji:
Algebraiczna semantyka dla nihilistycznych rachunków zdań
- Tytuł:
-
Algebraiczna semantyka dla nihilistycznych rachunków zdań
An Algebraic Semantics for the Nihilistic Propositional Calculi
- Autorzy:
-
Żabski, Eugeniusz
- Powiązania:
-
https://bibliotekanauki.pl/articles/967838.pdf
- Data publikacji:
-
1993-12-01
- Wydawca:
-
Uniwersytet Warszawski. Wydział Filozofii
- Źródło:
-
Filozofia Nauki; 1993, 1, 4; 55-81
1230-6894
2657-5868
- Język:
-
polski
- Prawa:
-
CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
- Dostawca treści:
-
Biblioteka Nauki
-
Przejdź do źródła  Link otwiera się w nowym oknie
From a formal point of view, the nihilistic propositional calculi, called in this text „npc”, are such propositional calculi that include three unary propositional conectives: T, F, ~, and one binary propositional connective ≡. They read respectively: true, false, untrue that, if and only if. Their theorems are, mong other things, such expressions as: Tp ≡ p, Fp ≡ ~p, with p being a propositional variable. The four npc are presented in this work, i.e. on two-valued, two three-valued, and one four-valued. Moreover, two of them are also paraconsistent calculi.
Npc are constructed by means of the axiomatic method. Following the presentation of npc axioms, the four so called n-algebras are introduced. The npc axioms are proved to be adequate to appropriate n-algebras, i.e. sets of theorems and tautologies of each npc are identical.