Results 41 to 50 of about 884 (194)
Outline of a Dialogical Theory of Truth
Crítica, 2023 In this essay I propose two theories of truth and show how they deal with semantic paradoxes. Their most salient feature is that they are based on a gametheoretic understanding of logic and meaning.
Miguel Álvarez Lisboa
doaj +1 more source
Command injection attacks, continuations, and the Lambek calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus,
Hayo Thielecke
doaj +1 more source
Stone-Type Dualities for Separation Logics [PDF]
Logical Methods in Computer Science, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
doaj +1 more source
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and ...
Yoshihiro Maruyama
doaj +1 more source
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source
Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]
Logical Methods in Computer ScienceSubstructural logics naturally support a quantitative interpretation of formulas, as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar, rather than ...
Francesco Dagnino, Fabio Pasquali
doaj +1 more source
Cut elimination and strong separation for substructural logics: An algebraic approach [PDF]
, 2010 We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on (associative) substructural logics over the full Lambek Calculus FL.
Ono, Hiroakira, Galatos, Nikolaos
core +1 more source
Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +1 more source
Dynamic Separation Logic and its Use in Education
Современные информационные технологии и IT-образование, 2020 Mathematical logic is widely used in hardware and software verification. Hoare logic is particularly suitable for reasoning about imperative programs.
Evgeny Makarov
doaj +1 more source
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL [PDF]
, 2006 Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and ...
Ono, Hiroakira +3 more
core +1 more source