Federacja Bibliotek Cyfrowych

Strona główna
Jagiellońska Biblioteka Cyfrowa
On sufficiently rich sets of formulas

Szczegóły obiektu: On sufficiently rich sets of formulas

tile.noImage

Instytucja dostarczająca:Jagiellońska Biblioteka Cyfrowa

Opis

Tytuł:
On sufficiently rich sets of formulas
Twórca:
Tomaszewski, Eugeniusz
Dostępność obiektu:
Dostęp otwarty
Prawa:
Copyright
Data:
2004.12.31;
2004
Typ:
rozprawa doktorska
Język:
angielski;
eng
Źródło:
Archiwum UJ, Dokt. 2004/200
Format:
image/vnd.djvu
Wydawca:
Uniwersytet Jagielloński
Temat i słowa kluczowe:
aksjomatyzacja;
axiomatization;
canonical formulas;
formuły kanonicze;
logiki modalne;
modal logics
Dostawca danych:
Jagiellońska Biblioteka Cyfrowa

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
teksty

Podobne obiekty

tile.noImage

On sufficiently rich sets of formulas

Twórca:Tomaszewski, Eugeniusz

Data:2004.12.31 | 2004

Rodzaj zawartości:teksty

tile.noImage

Modal Boolean Connexive Logics: Semantics and Tableau Approach

Twórca:Jarmużek, Tomasz | Malinowski, Jacek

Data:2021.05.05 | 2019.10.30

Rodzaj zawartości:pozostałe

tile.noImage

Upper and lower set formulas: Restriction and modification of the Dempster-Pawlak formalism

Twórca:Türkşen, Ismail Burhan

Data:2002

Rodzaj zawartości:obrazy

tile.noImage

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1

Twórca:Pietruszczak, Andrzej

Data:2018.04.24 | 2017

Rodzaj zawartości:obrazy

tile.noImage

The Method of Socratic Proofs for Normal Modal Propositional Logics

Twórca:Leszczyńska, Dorota

Data:2006

Rodzaj zawartości:teksty

tile.noImage

Axiomatization of divisor methods and weakly degressive proportionality

Twórca:Dniestrzański, Piotr

Data:2017.12.31 | 2017

Rodzaj zawartości:obrazy

tile.noImage

Analiza semi-formalna opozycji formalność–informalność w duchu Szkoły Lwowsko-Warszawskiej

Twórca:Jadacki, Jacek

Data:2020.12.29 | 2020

Rodzaj zawartości:teksty

tile.noImage

Representation of nondeterministic information

Twórca:Pawlak, Zdzisław | Orłowska, Ewa

Data:1981

Rodzaj zawartości:obrazy

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności