Temat: Intuitionistic 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ę "Intuitionistic Logic" wg kryterium: Temat

Wyświetlanie 1-10 z 49

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Co-constructive Logics for Proofs and Refutations
Autorzy:: James Trafford
Data publikacji:: 2015-01-31
Tematy:: constructivism
paraconsistency
intuitionistic logic
co-intuitionistic logic
negation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Extensions of Intuitionistic Logic Without the Deduction Theorem: Some Simple Examples
Autorzy:: Humberstone, L.
Data publikacji:: 2006
Słowa kluczowe:: intuitionistic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: An alternative intuitionistic version of Mally's deontic logic
Autorzy:: Lokhorst, G. J. C.
Data publikacji:: 2016
Słowa kluczowe:: deontic logic
intuitionistic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Monadic Fragments of Intuitionistic Control Logic
Autorzy:: Glenszczyk, Anna
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Intuitionistic Control Logic
Intuitionistic Logic
Combining Logic
Control Operators; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization
Autorzy:: Biasi, C.
Aschieri, F.
Data publikacji:: 2008
Słowa kluczowe:: subtractive logic
bi-intuitionistic logic
intuitionistic logic for pragmatics
lambda calculus
strong normalization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: An Alternative Natural Deduction for the Intuitionistic Propositional Logic
Autorzy:: Ilić, Mirjana
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: natural deduction
intuitionistic logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Circular Causality in Event Structures
Autorzy:: Bartoletti, M.
Cimoli, T.
Pinna, G. M.
Zunino, R.
Data publikacji:: 2014
Słowa kluczowe:: event structures
contracts
intuitionistic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: From Intuitionism to Brouwers Modal Logic
Autorzy:: Kostrzycka, Zofia
Data publikacji:: 2020-12-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: intuitionistic logic
Kripke frames
Brouwer's modal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On the validity of the definition of a complement-classifier
Autorzy:: Mariusz Stopa
Data publikacji:: 2020
Tematy:: category theory
topos theory
categorical logic
Heyting algebras
co-Heyting algebras
intuitionistic logic
dual to intuitionistic logic
complement-classifier; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: On the validity of the definition of a complement-classifier
Autorzy:: Stopa, Mariusz
Data publikacji:: 2020-12-29
Wydawca:: Copernicus Center Press
Tematy:: category theory
topos theory
categorical logic
Heyting algebras
co-Heyting algebras
intuitionistic logic
dual to intuitionistic logic
complement-classifier; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 49

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ę "Intuitionistic Logic" wg kryterium: Temat