Universal proof theory: Feasible admissibility in intuitionistic modal logics

Počet záznamů: 1

1.

SYSNO	0600572
Název	Universal proof theory: Feasible admissibility in intuitionistic modal logics
Tvůrce(i)	Akbar Tabatabai, Seyed Amirhossein (MU-W)_{SAI, ORCID} Jalali Keshavarz, Raheleh (UIVT-O)
Zdroj.dok.	Annals of Pure and Applied Logic. Roč. 176, č. 2 (2025). - : Elsevier
Číslo článku	103526
Druh dok.	Článek v odborném periodiku
Grant	GA23-04825S GA ČR - Grantová agentura ČR, CZ - Česká republika
	GA22-01137S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	admissible rules * feasible disjunction property * intuitionistic modal logics
URL	https://doi.org/10.1016/j.apal.2024.103526
Trvalý link	https://hdl.handle.net/11104/0357882

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Akbar_Tabatabai1.pdf	0	755.7 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1