Structural Completeness and Superintuitionistic Inquisitive Logics

Počet záznamů: 1

1.

SYSNO	0575743
Název	Structural Completeness and Superintuitionistic Inquisitive Logics
Tvůrce(i)	Ferguson, Thomas (FLU-F)_{ORCID, RID} Punčochář, Vít (FLU-F)_{RID, ORCID, SAI}
Zdroj.dok.	Logic, Language, Information, and Computation. S. 194-210. - Cham : Springer, 2023 / Hansen H.H. ; Scedrov A. ; de Queiroz R.J.G.B.
Konference	WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./, 11.07.2023 - 14.07.2023, Halifax
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GM21-23610M GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	structural completeness * inquisitive logic * superintuitionistic logics * substitution
URL	https://doi.org/10.1007/978-3-031-39784-4_12
Trvalý link	https://hdl.handle.net/11104/0346056

Počet záznamů: 1