Temat: logics - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logics" wg kryterium: Temat

Wyświetlanie 1-8 z 8

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Inconsistency-adaptive modal logics. On how to cope with modal inconsistency
Autorzy:: Lycke Hans
Data publikacji:: 2010-03-01
Tematy:: modal logics
paraconsistency
inconsistency-adaptive logics
inconsistency-adaptive modal logics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:: Jarmużek, Tomasz
Malinowski, Jacek
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Decision procedures for some strong hybrid logics
Autorzy:: Indrzejczak Andrzej
Zawidzki Michał
Data publikacji:: 2013-08-29
Tematy:: hybrid logics
modal logics
tableau calculi
sequent calculi
decision procedures
automated reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Admissibility of Cut in Congruent Modal Logics
Autorzy:: Andrzej Indrzejczak
Data publikacji:: 2011-09-01
Tematy:: modal logics
proof methods
sequent calculi
cut elimination; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Kilka uwag o relacji alternatywności w semantyce światów możliwych
Some Remarks on the Relation of Alternativity in the Semantics of Possible Worlds
Autorzy:: Lechniak, Marek
Data publikacji:: 2008
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logiki modalne
logiki wiedzy i przekonań
możliwy świat
relacja alternatywności (dostępności)
modal logics
logics of knowledge and beliefs
the possible world relation of alternativity (accessibility); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On classical behavior of intuitionistic modalities
Autorzy:: Drobyshevich Sergey
Data publikacji:: 2014-08-16
Tematy:: intuitionistic logic
modal logics
intuitionistic modalities
compositions
possibility
necessity
un-necessity
impossibility; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Logika racjonalności. W stronę modalnego platonizmu matematycznego
The Logic of Rationality. Towards Modal Mathematical Platonism
Autorzy:: Piotr Wilczek
Data publikacji:: 2011
Tematy:: Alfred N. Whitehead
Alfred Tarski
logical consequence
ZFC
second-order set theory
forcing
modal logics
field of rationality
structuralism
platonism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Logika racjonalności. W stronę modalnego platonizmu matematycznego
The Logic of Rationality. Towards Modal Mathematical Platonism
Autorzy:: Wilczek, Piotr
Data publikacji:: 2011
Wydawca:: Copernicus Center Press
Tematy:: Alfred N. Whitehead
Alfred Tarski
logical consequence
ZFC
second-order set theory
forcing
modal logics
field of rationality
structuralism
platonism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-8 z 8

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