知识
发表于 2025-3-28 17:44:16
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination,erizing strong and standard cut-elimination a stronger criterion of density is required. Modular semantics based on non-deterministic matrices are provided for every coherent canonical signed calculus.
Estrogen
发表于 2025-3-28 18:49:29
The NP-Completeness of Reflected Fragments of Justification Logics,ange of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound.
Feature
发表于 2025-3-29 02:07:42
Taming Modal Impredicativity: Superlazy Reduction,This makes the overall cost of reducing a proof net finite and predictable. Specifically, superlazy reduction applied to any pure proof nets takes primitive recursive time. Moreover, any primitive recursive function can be computed by a pure proof net via superlazy reduction.
弯曲的人
发表于 2025-3-29 05:44:00
http://reply.papertrans.cn/59/5882/588147/588147_44.png
overshadow
发表于 2025-3-29 08:13:39
A Relational Model of a Parallel and Non-deterministic ,-Calculus, semantics (based on the . and . intuitions underlying our two additional operations). We describe the interpretation of this calculus in our model and show that this interpretation is sensible with respect to our operational semantics: a term converges if, and only if, it has a non-empty interpretation.
Incorporate
发表于 2025-3-29 13:03:28
http://reply.papertrans.cn/59/5882/588147/588147_46.png
项目
发表于 2025-3-29 18:00:49
0302-9743Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical
展览
发表于 2025-3-29 21:21:20
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras,lgebras. We give an explicit combinatorial description of the category that is dual to finite BL-algebras. Building on this, we obtain detailed structural information on the locally finite subvarieties of BL-algebras that are analogous to Grigolia’s subvarieties of finite-valued MV-algebras. As an i
Insatiable
发表于 2025-3-30 02:26:06
Completeness Results for Memory Logics,ify and query these structures. In this paper we present sound and complete axiomatizations for some members of this family. We analyze the use of nominals to achieve completeness, and present one example in which they can be avoided.
讲个故事逗他
发表于 2025-3-30 06:37:45
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination,gical rules where exactly one occurrence of a connective is introduced and no other connective is mentioned. Cut-elimination in such systems is fully characterized by a syntactic constructive criterion of coherence. In this paper we extend the theory of canonical systems to the considerably more gen