Inferentialist resource semantics
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 2016063 (Why is no real title available?)
- scientific article; zbMATH DE number 786485 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 3358455 (Why is no real title available?)
- A calculus and logic of bunched resources and processes
- A discipline of mathematical systems modelling
- A normalizing system of natural deduction for intuitionistic linear logic
- A substructural epistemic resource logic: theory and modelling applications
- BI as an assertion language for mutable data structures
- Base-extension semantics for intuitionistic sentential logic
- Bunched logics displayed
- Categorical proof-theoretic semantics
- Classical logic without bivalence
- Completeness in Proof-Theoretic Semantics
- Computational interpretations of linear logic
- Deep sequent systems for modal logic
- Failure of completeness in proof-theoretic semantics
- Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
- Hypothesis-discharging rules in atomic bases
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Information Flow
- Kripke models for linear logic
- Linear logic
- On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
- On the Concept of Following Logically
- Proof-theoretic semantics
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Relational semantics for full linear logic
- Resource-distribution via Boolean constraints
- Semantical analysis of the logic of bunched implications
- The Logic of Bunched Implications
- The idea of a proof-theoretic semantics and the meaning of the logical operations
- The semantics and proof theory of the logic of bunched implications
- The semantics of BI and resource tableaux
Cited in
(2)
This page was built for publication: Inferentialist resource semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831449)