Results 31 to 40 of about 3,345 (227)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]

Logical Methods in Computer Science, 2018
Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj   +1 more source

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

Substructure Temporal Logic [PDF]

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
In formal verification and design, reasoning about substructures is a crucial aspect for several fundamental problems, whose solution often requires to select a portion of the model of interest on which to verify a specific property. In this paper, we present a new branching-time temporal logic, called Substructure Temporal Logic (STL, for short ...
BENERECETTI, MASSIMO, MOGAVERO, FABIO, MURANO, ANIELLO   +2 more
openaire   +2 more sources

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

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

Substructural fuzzy logics

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).
Metcalfe G., Montagna F.
openaire   +4 more sources

Quantitative Equality in Substructural Logic via Lipschitz Doctrines [PDF]

Logical Methods in Computer Science
Substructural 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

Coalgebraic completeness-via-canonicity for distributive substructural logics [PDF]

, 2016
We prove strong completeness of a range of substructural logics with respect to a natural poset-based relational semantics using a coalgebraic version of completeness-via-canonicity.
Dahlqvist, Fredrik, Pym, David
core   +2 more sources

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

On structures in hypergraphs of models of a theory [PDF]

, 2018
We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types of models of ...
Kulpeshov, Beibut, Sudoplatov, Sergey
core   +3 more sources