Temat: paraconsistent logic

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ę "paraconsistent logic" wg kryterium: Temat

Wyświetlanie 1-10 z 29

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Symmetric and dual paraconsistent logics
Autorzy:: Kamide Norihiro
Wansing Heinrich
Data publikacji:: 2010-03-01
Tematy:: symmetric paraconsistent logic
dual paraconsistent logic
sequent calculus
cut-elimination
completeness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Brief Note on Béziau’s “Rather Trivial Theorem” About LP
Autorzy:: Estrada-González Luis
Data publikacji:: 2019-06-15
Tematy:: dialetheia
paraconsistent logic
trivial interpretation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Trivial Dialetheism and the Logic of Paradox
Autorzy:: Beziau Jean-Yves
Data publikacji:: 2015-12-09
Tematy:: Dialetheia
Paraconsistent Logic
Many-Valued Logic
Truth; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems
Autorzy:: Ricardo S. Silvestre
Data publikacji:: 2013-03-01
Tematy:: paraconsistent logic
paracomplete logic
modal logic
inductive plausibility; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility
Autorzy:: Ricardo S. Silvestre
Data publikacji:: 2012-03-01
Tematy:: paraconsistent logic
paracomplete logic
modal logic
inductive plausibility; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Note on Ciuciura’s mbC1
Autorzy:: Omori, Hitoshi
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: paraconsistent logic
non-deterministic semantics contra-classical logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Paraconsistent sequential linear-time temporal logic : combining paraconsistency and sequentiality in temporal reasoning
Autorzy:: Kamide, N.
Data publikacji:: 2017
Słowa kluczowe:: linear-time temporal logic
paraconsistent logic
sequent calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Nicephorus Blemmydes on the Holy Trinity and the Paraconsistent Notion of Numbers: A Logical Analysis of a Byzantine Approach to the Filioque
Autorzy:: Basil Lourié
Data publikacji:: 2016-03-01
Tematy:: Nicephorus Blemmydes
Filioque
Spirituque
Triadology
paraconsistent logic
paraconsistent numbers; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On Paracomplete Versions of Jaśkowskis Discussive Logic
Autorzy:: Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Quasi-Possibilistic Logic and its Measures of Information and Conflict
Autorzy:: Dubois, D.
Konieczny, S.
Prade, H.
Data publikacji:: 2003
Słowa kluczowe:: possibilistic logic
paraconsistent logic
measures of information
inconsistency
uncertainty; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 29

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

Informacja

Wyszukujesz frazę "paraconsistent logic" wg kryterium: Temat