Intuitionistic BV

DOI10.1007/978-3-032-06085-3_22MaRDI QIDQ6860370zbMATH OpenFDO

Authors Matteo Acclavio, Lutz Straßburger

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-06085-3_22

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 6851953 (Why is no real title available?)
• scientific article; zbMATH DE number 1841813 (Why is no real title available?)
• scientific article; zbMATH DE number 2090535 (Why is no real title available?)
• A Local System for Classical Logic
• A System of Interaction and Structure II: The Need for Deep Inference
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• A graphical proof theory of logical time
• A proof calculus which reduces syntactic bureaucracy
• A system of interaction and structure
• A system of interaction and structure. V: The exponentials and splitting
• BV and Pomset Logic Are Not the Same
• De Morgan dual nominal quantifiers modelling private names in non-commutative logic
• Deep inference and probabilistic coherence spaces
• Higher-order causal theories are models of BV-logic
• Linear lambda calculus and deep inference
• Pomset logic. The other approach to noncommutativity in logic

This page was built for publication: Intuitionistic BV

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