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 12

Zaznacz

Skocz do pozycji: 1.

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: 2.

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: 3.

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: 4.

Tytuł:: Characterising Strongly Normalising Intuitionistic Terms
Autorzy:: Santo, J. E.
Ivetić, J.
Likavec, S.
Data publikacji:: 2012
Słowa kluczowe:: sequent calculus
strong normalisation
intersection types
intuitionistic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
Autorzy:: Gentilini, P.
Martelli, M.
Rosolini, G.
Data publikacji:: 2015
Słowa kluczowe:: constructivism in logic
higher order logic
intuitionistic logic
constructive paraconsistent logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: What Are Justification Logics?
Autorzy:: Fitting, Melvin
Data publikacji:: 2019
Słowa kluczowe:: BHK semantics
intuitionistic logic
justification logic
logic of proofs
modal logic
realization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A note on Humberstone's constant Ω
Autorzy:: Niki, Satoru
Omori, Hitoshi
Data publikacji:: 2021
Słowa kluczowe:: intuitionistic logic
minimal logic
actuality operator
empirical negation
deduction theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: An axiomatization of Wansing's expansion of Nelson's logic
Autorzy:: Omori, H.
Data publikacji:: 2015
Słowa kluczowe:: Nelson’s logic
intuitionistic logic
Jankov’s logic
nonmonotonic reasoning
axiomatization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Autorzy:: Sticht, M.
Data publikacji:: 2018
Słowa kluczowe:: dialogue
proof search
intuitionistic logic
modal logic
game theories
parallel reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Quantitative comparison of Intuitionistic and Classical logics - full propositional system
Autorzy:: Kozik, Jakub
Antoine, Genitrini
Data publikacji:: 2009
Wydawca:: Springer
Słowa kluczowe:: intuitionistic logic
classical logic
Heyting algebra
binary complete tree
left subtree; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 12

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