长垣产业园区科技文献服务平台

会议文集


文集名Logic, Language, Information, and Computation
会议名30th International Workshop on Logic, Language, Information and Computation (WoLLIC 2024)
中译名《第三十届国际逻辑、语言、信息和计算研讨会》
会议日期June 10-13, 2024
会议地点Bern, Switzerland
出版年2024
馆藏号352843


题名作者出版年
Strict-Tolerant Conditional LogicsLin Chen; Xuefeng Wen2024
A Linear Proof Language for Second-Order Intuitionistic Linear LogicAlejandro Diaz-Caro; Gilles Dowek; Malena Ivnisky; Octavio Malherbe2024
A Logic of IsolationCan Baskent; David Gilbert; Giorgio Venturi2024
A Simple Loopcheck for Intuitionistic KMarianna Girlando; Roman Kuznets; Sonia Marin; Marianela Morales; Lutz Strassburger2024
A Compositional Theory of Krivine's Classical RealisabilityDaichi Hayashi; Graham E. Leigh2024
Intersection Types via Finite-Set DeclarationsFairouz Kamareddine; Joe Wells2024
Syntactic Concept Lattice Models for Infinitary Action LogicStepan L. Kuznetsov2024
Rules of Partial OrthomodularityMena Leemhuis; Diedrich Wolter; Ozgur L. Ozcep2024
Labelled Sequent Calculi for Inquisitive Modal LogicsValentin Muller2024
Correspondence Theory on Vector SpacesAlessandra Palmigiano; Mattia Panettiere; Ni Wayan Switrayni2024
An EXPTIME- Complete Entailment Problem in Separation LogicNicolas Peltier2024
(In)consistency Operators on Quasi-Nelson AlgebrasUmberto Rivieccio; Aldo Figallo-Orellano2024
Lambek Calculus with Banged Atoms for Parasitic GapsMehrnoosh Sadrzadeh; Lutz Strassburger2024
Completeness of Finitely Weighted Kleene Algebra with TestsIgor Sedlar2024
Modal Hyperdoctrine: Higher-Order and Non-normal ExtensionsFlorrie Verity; Yoshihiro Maruyama2024
Validity in Contexts: A Semantics for Indicatives and Epistemic ModalsXuefeng Wen2024
Logical Expressibility of Syntactic NL for Complementarity and MaximizationTomoyuki Yamakami2024
Polyadic Quantifiers on Dependent TypesMarek Zawadowski; Justyna Grudzinska2024
Model Theory of Godel LogicJ. P. Aguilera2024
Theory and Practice of Uniform InterpolationSam van Gool2024
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024