Počet záznamů: 1
Structural Completeness and Superintuitionistic Inquisitive Logics
- 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, SAIZdroj.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