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

Tytuł pozycji:

Interpolation in Normal Extensions of the Brouwer Logic

Szczegóły
Opis

Tytuł:: Interpolation in Normal Extensions of the Brouwer Logic
Autorzy:: Kostrzycka, Zofia
Powiązania:: https://bibliotekanauki.pl/articles/749908.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: normal extensions of the Brouwer logics
Kripke frames
interpolation property
amalgamation property
Źródło:: Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.

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

Interpolation in Normal Extensions of the Brouwer Logic

Powiązane pozycje