Results 11 to 20 of about 137 (130)
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
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
Journal of Symbolic Logic, 2007 AbstractSubstructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Uninorm logicULas Multiplicative additive intuitionistic linear logicMAILLextended with the prelinearity axiom((A → B) ∧ t) V ((B → A)∧ t).
George Metcalfe, Franco Montagna
openaire +5 more sources
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
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
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
openaire +4 more sources
Angewandte Chemie, EarlyView.The fischerazoles, unusual cyanobacterial chlorinated lipopeptides are reported. During their biosynthesis, a linear fatty acyl‐acyl carrier protein (ACP) precursor is rearranged through the action of the S‐adenosyl‐methionine (SAM)‐dependent methyltransferase FshF, to generate a pendant vinyl group.
Sandra A. C. Figueiredo +8 more
wiley +2 more sources
A substructural logic for layered graphs [PDF]
Journal of Logic and Computation, 2014 Complex systems, be they natural or synthetic, are ubiquitous. In particular, complex networks of devices and services underpin most of society's operations. By their very nature, such systems are difficult to conceptualize and reason about effectively.
Collinson, M, McDonald, K, Pym, D
openaire +2 more sources