scientific article; zbMATH DE number 1489627
From MaRDI portal
Publication:4495851
Recommendations
Cited in
(98)- Investigations into a left-structural right-substructural sequent calculus
- On the \(\pi\)-calculus and linear logic
- Semiconic idempotent residuated structures
- Grishin algebras and cover systems for classical bilinear logic
- Natural deduction for intuitionistic linear logic
- scientific article; zbMATH DE number 4091500 (Why is no real title available?)
- The complexity of decision procedures in relevance logic II
- Axioms and models of linear logic
- Sequent reconstruction in LLM -- A sweepline proof
- Variations on mobile processes
- Proof theory in the abstract
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- A positive information logic for inferential information
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- A modal walk through space
- Relational semantics for full linear logic
- Decidability of linear affine logic
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- The blind spot. Lectures on logic
- Linear logic
- Proof-search in type-theoretic languages: An introduction
- The finite model property for knotted extensions of propositional linear logic
- Lewis meets Brouwer: constructive strict implication
- Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
- A structural approach to reversible computation
- A syntax for linear logic
- Categorical approaches to non-commutative fuzzy logic
- Reflections on ``difficult embeddings
- Multiplicative conjunction and an algebraic meaning of contraction and weakening
- An abstract approach to consequence relations
- Informational interpretation of substructural propositional logics
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
- Uniform interpolation in substructural logics
- Varieties of linear calculi
- Subexponential concurrent constraint programming
- Natural deduction and coherence for weakly distributive categories
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Which structural rules admit cut elimination? An algebraic criterion
- Linear domains and linear maps
- Connectification for \(n\)-contraction
- The complexity of Horn fragments of linear logic
- The ILLTP library for intuitionistic linear logic
- Pregroups and natural language processing
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- Linear and affine logics with temporal, spatial and epistemic operators
- Normal modal substructural logics with strong negation
- Pretopologies and completeness proofs
- MV-algebras embedded in a CL-algebra
- Gabriel topologies on coherent quantales
- First-order linear logic without modalities is NEXPTIME-hard
- On proof normalization in linear logic
- Handsome proof-nets: Perfect matchings and cographs
- A category equivalence for odd Sugihara monoids and its applications
- Judgement aggregation in non-classical logics
- Resource-distribution via Boolean constraints (extended abstract)
- Fragments of R-mingle
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions
- The finite model property for BCK and BCIW
- Current trends in substructural logics
- Idempotent residuated structures: Some category equivalences and their applications
- \(*\)-autonomous categories of bimodules
- Contextual deduction theorems
- Petri nets, Horn programs, linear logic and vector games
- Linear logic automata
- Reaction graph
- Categorical semantics of linear logic
- A fully abstract semantics for concurrent constraint programming
- scientific article; zbMATH DE number 4152338 (Why is no real title available?)
- Linear Läuchli semantics
- Representable idempotent commutative residuated lattices
- The decidability of the intensional fragment of classical linear logic
- A phase semantics for polarized linear logic and second order conservativity
- The elimination of maximum cuts in linear logic and BCK logic
- Event domains, stable functions and proof-nets
- \(\ast\)-autonomous envelopes and conservativity
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
- Effective Finite-Valued Approximations of General Propositional Logics
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- Structural Rules in Natural Deduction with Alternatives
- Cover systems for the modalities of linear logic
- Universal proof theory: semi-analytic rules and Craig interpolation
- On subexponentials, focusing and modalities in concurrent systems
- Copies from ``Standard set theory? A note on the foundations of minimalist syntax in reaction to Chomsky, Gallego and Ott (2019)
- Structural weakening and paradoxes
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study
- Weihrauch goes Brouwerian
- Interpolation in linear logic and related systems
- Non-normal modalities in variants of linear logic
- A programming language for the interval geometric machine
- Closure operations on intuitionistic linear algebras
- Relevant consequence relations: an invitation
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
- Free ordered algebraic structures towards proof theory
- Linear Logic Properly Displayed
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- A subexponential view of domains in session types
- Connecting sequent calculi with Lorenzen-style dialogue games
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 Q4495851)
