| Publication | Date of Publication | Type |
|---|
Inferentialist resource semantics
| 2026-04-02 | Paper |
Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
| 2024-10-01 | Paper |
Proof-theoretic semantics for intuitionistic multiplicative linear logic
| 2024-05-17 | Paper |
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Semantical analysis of the logic of bunched implications
Studia Logica | 2023-08-10 | Paper |
Investigations into proof-search in a system of first-order dependent function types
| 2023-04-28 | Paper |
Defining Logical Systems via Algebraic Constraints on Proofs
| 2023-01-05 | Paper |
A stone-type duality theorem for separation logic via its underlying bunched logics
| 2022-04-25 | Paper |
A substructural epistemic resource logic: theory and modelling applications
Journal Of Logic And Computation | 2020-02-17 | Paper |
Resource-distribution via Boolean constraints (extended abstract)
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
A substructural epistemic resource logic
Logic and Its Applications | 2019-07-24 | Paper |
Stone-type dualities for separation logics
| 2019-03-18 | Paper |
Trust domains in system models: algebra, logic, utility, and combinators
Journal Of Logic And Computation | 2019-01-31 | Paper |
Proof-terms for classical and intuitionistic resolution
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
On the intuitionistic force of classical search (extended abstract)
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
scientific article; zbMATH DE number 6970800 (Why is no real title available?)
| 2018-11-02 | Paper |
Modular tableaux calculi for separation theories
| 2018-07-17 | Paper |
A substructural modal logic of utility
Journal Of Logic And Computation | 2018-02-13 | Paper |
Coalgebraic completeness-via-canonicity for distributive substructural logics
Journal of Logical and Algebraic Methods in Programming | 2017-10-13 | Paper |
Resource-distribution via Boolean constraints
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Layered graph logic as an assertion language for access control policy models
Journal Of Logic And Computation | 2017-05-17 | Paper |
Erratum to: ``A substructural logic for layered graphs
Journal Of Logic And Computation | 2017-05-17 | Paper |
Intuitionistic layered graph logic
Automated Reasoning | 2016-09-05 | Paper |
A logic of separating modalities
Theoretical Computer Science | 2016-06-03 | Paper |
A calculus and logic of bunched resources and processes
Theoretical Computer Science | 2016-01-21 | Paper |
Completeness via canonicity for distributive substructural logics: a coalgebraic perspective
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
A substructural logic for layered graphs
Journal Of Logic And Computation | 2015-01-12 | Paper |
A proof-theoretic analysis of the classical propositional matrix method
Journal Of Logic And Computation | 2014-04-01 | Paper |
Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
A discipline of mathematical systems modelling
Systems | 2013-10-25 | Paper |
Bunching for regions and locations
| 2013-10-10 | Paper |
Erratum to: ``Algebra and logic for access control
Formal Aspects of Computing | 2010-05-28 | Paper |
Algebra and logic for access control
Formal Aspects of Computing | 2010-05-05 | Paper |
A logical and computational theory of located resource
Journal Of Logic And Computation | 2010-01-14 | Paper |
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science | 2009-11-11 | Paper |
A Games Model of Bunched Implications
Computer Science Logic | 2009-03-05 | Paper |
Bunched polymorphism
Mathematical Structures in Computer Science | 2008-12-10 | Paper |
On categorical models of classical logic and the Geometry of Interaction
Mathematical Structures in Computer Science | 2007-12-12 | Paper |
Errata for ``A calculus and logic of resources and processes and their consequences
Formal Aspects of Computing | 2007-11-28 | Paper |
A calculus and logic of resources and processes
Formal Aspects of Computing | 2006-12-20 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
The semantics of BI and resource tableaux
Mathematical Structures in Computer Science | 2006-02-21 | Paper |
Order-enriched categorical models of the classical sequent calculus
Journal of Pure and Applied Algebra | 2005-12-29 | Paper |
The semantics and proof theory of the logic of bunched implications
Applied Logic Series | 2005-08-11 | Paper |
scientific article; zbMATH DE number 2095713 (Why is no real title available?)
| 2004-08-31 | Paper |
Possible worlds and resources: The semantics of \(\mathbf{BI}\)
Theoretical Computer Science | 2004-08-06 | Paper |
scientific article; zbMATH DE number 1948162 (Why is no real title available?)
| 2003-07-10 | Paper |
Kripke Resource Models of a Dependently-typed, Bunched -calculus
Journal Of Logic And Computation | 2003-03-24 | Paper |
scientific article; zbMATH DE number 1765675 (Why is no real title available?)
| 2002-07-10 | Paper |
On the semantics of classical disjunction
Journal of Pure and Applied Algebra | 2002-03-11 | Paper |
Notes towards a semantics for proof-search
| 2001-05-07 | Paper |
Forward and backward chaining in linear logic. (Extended abstract)
| 2001-05-07 | Paper |
scientific article; zbMATH DE number 1424038 (Why is no real title available?)
| 2000-09-20 | Paper |
Proof-terms for classical and intuitionistic resolution
Journal Of Logic And Computation | 2000-09-04 | Paper |
On the intuitionistic force of classical search
Theoretical Computer Science | 2000-08-23 | Paper |
Proof-search in type-theoretic languages: An introduction
Theoretical Computer Science | 2000-08-23 | Paper |
The Logic of Bunched Implications
The Bulletin of Symbolic Logic | 1999-09-22 | Paper |
scientific article; zbMATH DE number 1324432 (Why is no real title available?)
| 1999-08-16 | Paper |
A relevant analysis of natural deduction
Journal Of Logic And Computation | 1999-07-05 | Paper |
scientific article; zbMATH DE number 1231702 (Why is no real title available?)
| 1999-01-10 | Paper |
A note on the proof theory of the \(\lambda \Pi\)-calculus
Studia Logica | 1996-02-20 | Paper |
A Uniform Proof-theoretic Investigation of Linear Logic Programming
Journal Of Logic And Computation | 1994-10-17 | Paper |
A UNIFICATION ALGORITHM FOR THE λΠ-CALCULUS
International Journal of Foundations of Computer Science | 1993-06-29 | Paper |
scientific article; zbMATH DE number 65536 (Why is no real title available?)
| 1992-09-27 | Paper |
From Basic Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
| N/A | Paper |
WITHDRAWN: Provability in BI's Sequent Calculus is Decidable
| N/A | Paper |
Categorical Proof-Theoretic Semantics
| N/A | Paper |
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
| N/A | Paper |
Proof-theoretic Semantics for the Logic of Bunched Implications
| N/A | Paper |
Base-extension Semantics for Modal Logic
| N/A | Paper |
Inferentialist Resource Semantics
| N/A | Paper |
Base-extension Semantics for S5 Modal Logic
| N/A | Paper |
