Počet záznamů: 1

How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?

SYSNO	0523434
Název	How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
Tvůrce(i)	Badia, G. (AT) Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Hájek, Petr (UIVT-O)_{RID, SAI} Tedder, Andrew (UIVT-O)_{RID, ORCID, SAI}
Zdroj.dok.	Review of Symbolic Logic. Roč. 15, č. 2 (2022), s. 487-504. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	GA17-04630S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	undecidability * substructural logic * Robinson arithmetic
URL	http://dx.doi.org/10.1017/S175502032000012X
Trvalý link	http://hdl.handle.net/11104/0307787

Počet záznamů: 1