scientific article; zbMATH DE number 6970800

DOI10.23638/LMCS-14(4:11)2018zbMATH Open1454.03030arXiv1702.05795MaRDI QIDQ4553286FDOQ4553286

Authors: Simon Docherty, David Pym 

Publication date: 2 November 2018

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

Title of this publication is not available (Why is that?)

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

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)

Cites Work

• Title not available (Why is that?)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Algebraic methods in philosophical logic
• The semantics of BI and resource tableaux
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Algebra and logic for resource-based systems modelling
• The Logic of Bunched Implications
• BI as an assertion language for mutable data structures
• Resource-distribution via Boolean constraints
• Title not available (Why is that?)
• Linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming Languages and Systems
• A discipline of mathematical systems modelling
• Tableaux and resource graphs for separation logic
• A Modal BI Logic for Dynamic Resource Properties
• The formal strong completeness of partial monoidal Boolean BI
• Modeling hop-constrained and diameter-constrained minimum spanning tree problems as Steiner tree problems over layered graphs
• Tableau methods of proof for modal logics
• The Space and Motion of Communicating Agents
• Title not available (Why is that?)
• Stable formulas in intuitionistic logic
• Generalising canonical extension to the categorical setting
• Automata, Languages and Programming
• Distributive residuated frames and generalized bunched implication algebras
• Compositional Shape Analysis by Means of Bi-Abduction
• Title not available (Why is that?)
• A calculus and logic of bunched resources and processes
• The finite embeddability property for residuated groupoids.
• Intuitionistic Layered Graph Logic
• A substructural logic for layered graphs
• Directed Bigraphs

Cited In (10)

• Recognizability, hypergraph operations, and logical types
• Semantical analysis of the logic of bunched implications
• An algebraic glimpse at bunched implications and separation logic
• Graph theoretical structures in logic programs and default theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Graph-theoretic Fibring of Logics
• Graph Logics with Rational Relations and the Generalized Intersection Problem

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)