scientific article; zbMATH DE number 6970800

DOI10.23638/LMCS-14(4:11)2018MaRDI QIDQ4553286zbMATHFDO

Authors Simon Docherty, David Pym

Publication date 2 November 2018

Full work available at URL https://arxiv.org/abs/1702.05795

zbMATH Keywords

graphsmodellingsubstructural logiccomplex systemsdecidabilityKripke semanticspredicate logicalgebraic semanticstableauxbunched logicfinite model propertybigraphslayered graphssoundness and completenesshyperdoctrinepointer logicStone-type dualitylayered graph logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Intuitionistic layered graph logic
• On graphs for intuitionistic modal logics
• A substructural logic for layered graphs
• Propositional intuitionistic multiple-conclusion calculus via proof graphs
• scientific article; zbMATH DE number 638367
• Logic beyond formulas: a proof system on graphs
• A graph-theoretic account of logics
• Graph theoretical structures in logic programs and default theories
• On the Expressive Power of Graph Logic
• Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 2086655 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• A calculus and logic of bunched resources and processes
• A discipline of mathematical systems modelling
• A modal BI logic for dynamic resource properties
• A substructural logic for layered graphs
• Algebra and logic for resource-based systems modelling
• Algebraic methods in philosophical logic
• Automata, Languages and Programming
• BI as an assertion language for mutable data structures
• Compositional shape analysis by means of bi-abduction
• Directed bigraphs
• Distributive residuated frames and generalized bunched implication algebras
• Generalising canonical extension to the categorical setting
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Intuitionistic layered graph logic
• Linear logic
• Modeling hop-constrained and diameter-constrained minimum spanning tree problems as Steiner tree problems over layered graphs
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Programming Languages and Systems
• Resource-distribution via Boolean constraints
• Stable formulas in intuitionistic logic
• Tableau methods of proof for modal logics
• Tableaux and resource graphs for separation logic
• The Logic of Bunched Implications
• The Space and Motion of Communicating Agents
• The finite embeddability property for residuated groupoids.
• The formal strong completeness of partial monoidal Boolean BI
• The semantics of BI and resource tableaux

Cited in

(12)

• Graph theoretical structures in logic programs and default theories
• An algebraic glimpse at bunched implications and separation logic
• scientific article; zbMATH DE number 5997435 (Why is no real title available?)
• scientific article; zbMATH DE number 638367 (Why is no real title available?)
• Recognizability, hypergraph operations, and logical types
• Intuitionistic layered graph logic
• A substructural logic for layered graphs
• On Graph-theoretic Fibring of Logics
• Abstract hidden Markov models: a monadic account of quantitative information flow
• Graph Logics with Rational Relations and the Generalized Intersection Problem
• Semantical analysis of the logic of bunched implications
• Stone-type dualities for separation logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553286)