Linear logic using negative connectives

DOI10.4230/LIPICS.FSCD.2025.29MaRDI QIDQ7296824zbMATH OpenFDO

Authors Dale Miller

Publication date 14 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2025.29

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A game semantics for proof search (preliminary results)
• A logical characterization of forward and backward chaining in the inverse method
• A multi-focused proof system isomorphic to expansion proofs
• A new constructive logic: classic logic
• A positive perspective on term representation (invited talk)
• Around classical and intuitionistic linear logics
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
• Completing Herbelin’s Programme
• Focusing and higher-order abstract syntax
• Focusing and polarization in linear, intuitionistic, and classical logics
• Focusing Gentzen's LK proof system
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• Forum: A multiple-conclusion specification logic
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 786494 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3105203 (Why is no real title available?)
• Investigations into the predicate calculus. Edited by Sara Negri and Jan von Plato
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Logical Approaches to Computational Barriers
• On structuring proof search for first order linear logic
• Separating functional computation from relations
• Some Syntactical Observations on Linear Logic
• Structural focalization
• Types for Proofs and Programs
• Uniform proofs as a foundation for logic programming
• Untersuchungen über das logische Schließen. I.

This page was built for publication: Linear logic using negative connectives

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