Wszystkie pola: protoalgebraic 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ę "protoalgebraic logics" wg kryterium: Wszystkie pola

Wyświetlanie 1-4 z 4

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Secrecy logic : protoalgebraic S-secrecy logics
Autorzy:: Voutsadakis, George
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Secrecy logic : protoalgebraic S - secrecy logics
Autorzy:: Voutsadakis, G.
Data publikacji:: 2012
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Secrecy Logic: Protoalgebraic $\mathcal S$-Secrecy Logics
Autorzy:: Voutsadakis, George
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Categorical Abstract Algebraic Logic: Syntactically Algebraizable pi-Institutions
Autorzy:: Voutsadakis, G.
Data publikacji:: 2009
Słowa kluczowe:: quasi-varieties
equational logic
algebraizable logics
syntactically N-algebraizable pi-institutions
equivalential logics
N-equivalential pi-institutions
protoalgebraic logics
N-protoalgebraic pi-insitutions
Leibniz operator
Leibniz hierarchy
N-Leibniz operator
regularly algebraizable logics
relatively point-regular quasivarieties
deduction-detachment theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

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