Wszystkie pola: logic systems

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ę "logic systems" wg kryterium: Wszystkie pola

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Autorzy:: Braüner, Torben
Data publikacji:: 2022-01-07
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: hybrid logic
natural deduction systems
sequent systems
normalization
cut-elimination
analycity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
Autorzy:: Płaczek, Paweł
Data publikacji:: 2020-11-13
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Substructural logic
Lambek calculus
nonassociative linear logic
sequent system
PTime complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Dynamic Epistemic Logic for Actual Knowledge
Autorzy:: Wójcik, Arkadiusz
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Dynamic epistemic logic
logic of public announcements
knowledge representation
problem of logical omniscience
actual knowledge
epistemic change
multi-agent systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
Autorzy:: Sayed Ahmed, Tarek
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: algebraic logic
systems of varieties
ultraproducts
non-finite axiomaitizability; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
Autorzy:: Buszkowski, Wojciech
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: nonassociative Lambek calculus
linear logic
sequent system
cut elimination
PTIME complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Sequent Systems for Consequence Relations of Cyclic Linear Logics
Autorzy:: Płaczek, Paweł
Data publikacji:: 2024
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: linear logic
Lambek calculus
nonassociative logics
noncommutative logics
substructural logics
consequence relation
nonlogical axioms
conservativeness; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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ę "logic systems" wg kryterium: Wszystkie pola