结果
发表于 2025-3-23 11:40:46
Observational Completeness on Abstract Interpretationutations are as precise as concrete computations, if we only look at properties in .. We prove that continuity of state-transition functions ensures the existence of the least observationally complete domain. When state-transition functions are additive, the least observationally complete domain boils down to the complete shell.
GENRE
发表于 2025-3-23 15:10:03
Conference proceedings 2009e; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009...The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57
FOLLY
发表于 2025-3-23 22:07:04
Observational Effort and Formally Open Mappingso the ambivalence of the framework used here, this has some quasi-topological impact, too, in so far as a certain notion of open mapping can be captured now. The main issues of this paper concern the basic logical properties of the arising system, in particular, completeness. Our main technical resource for that is hybrid logic.
泰然自若
发表于 2025-3-24 00:55:24
https://doi.org/10.1007/978-3-642-02261-6Ehrenfeucht-Fraisse; Gentzen; Gödel logic; arrow calculus; categorial grammers; cut elimination; descripti
首创精神
发表于 2025-3-24 05:16:35
A Characterisation of Definable NP Search Problems in Peano ArithmeticThe complexity class of ≺. is introduced for well-orderings ≺, and is used to give a characterisation of definable . search problems in Peano Arithmetic.
Injunction
发表于 2025-3-24 08:45:03
Mathematical Logic for Life Science OntologiesWe discuss how concepts and methods introduced in mathematical logic can be used to support the engineering and deployment of life science ontologies. The required applications of mathematical logic are not straighforward and we argue that such ontologies provide a new and rich family of logical theories that wait to be explored by logicians.
使声音降低
发表于 2025-3-24 14:20:49
http://reply.papertrans.cn/59/5881/588047/588047_17.png
Freeze
发表于 2025-3-24 17:09:25
Recognizability in the Simply Typed Lambda-Calculusased on finite models. Using intersection types, we generalize the notions of automata for strings and trees so as to grasp recognizability for .-terms. We then expose the closure properties of this notion and present some of its applications.
向前变椭圆
发表于 2025-3-24 19:32:28
http://reply.papertrans.cn/59/5881/588047/588047_19.png
向下五度才偏
发表于 2025-3-25 00:45:03
http://reply.papertrans.cn/59/5881/588047/588047_20.png