Zobrazeno 1 - 10
of 490
pro vyhledávání: '"Substructural logics"'
Autor:
Paweł Płaczek
Publikováno v:
Bulletin of the Section of Logic, Vol 53, Iss 2, Pp 245-274 (2024)
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger fram
Externí odkaz:
https://doaj.org/article/8d2429e1ed5f4a759d17b12e703ac9dc
Autor:
Greg Restall
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 109-143 (2023)
Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system
Externí odkaz:
https://doaj.org/article/404db0f1d79b471abf246f1d476aee77
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Eduardo A. Barrio, Federico Pailos
Publikováno v:
Análisis Filosófico, Vol 41, Iss 2, Pp 261-272 (2021)
The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to id
Externí odkaz:
https://doaj.org/article/89a56f1dd8944de0a38009934a7fc58c
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.