Structural Completeness and Superintuitionistic Inquisitive Logics

Number of the records: 1

1.

SYSNO	0575743
Title	Structural Completeness and Superintuitionistic Inquisitive Logics
Author(s)	Ferguson, Thomas (FLU-F)_{ORCID, RID} Punčochář, Vít (FLU-F)_{RID, ORCID, SAI}
Source Title	Logic, Language, Information, and Computation. S. 194-210. - Cham : Springer, 2023 / Hansen H.H. ; Scedrov A. ; de Queiroz R.J.G.B.
Conference	WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./, 11.07.2023 - 14.07.2023, Halifax
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	GM21-23610M GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	FLU-F - RVO:67985955
Language	eng
Country	CH
Keywords	structural completeness * inquisitive logic * superintuitionistic logics * substitution
URL	https://doi.org/10.1007/978-3-031-39784-4_12
Permanent Link	https://hdl.handle.net/11104/0346056

Number of the records: 1