Set-Theoretic Semantics for Many-Valued Positional Calculi

Szczegóły
Opis

Tytuł:: Set-Theoretic Semantics for Many-Valued Positional Calculi
Semantyka teoriomonogościowa dla wielowartościowych rachunków pozycyjnych
Autorzy:: Karczewska, Anna Maria
Powiązania:: https://bibliotekanauki.pl/articles/1791009.pdf
Data publikacji:: 2021-01-04
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: rachunki pozycyjne
macierz
semantyka teoriomnogościowa
positional calculi
matrix
set-thoretic semantics
Źródło:: Roczniki Filozoficzne; 2020, 68, 4; 367-384
0035-7685
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

The objective of this paper is to formulate adequate set theoretic semantics for Tkaczyk’s positional calculi RB, RK, and RP (Tkaczyk 2007).

Celem artykułu jest zdefiniowanie adekwatnych semantyk teoriomonogościowych dla rachunków pozycyjnych RB, RK i RP (Tkaczyk 2007).

Informacja

Powiązane pozycje