Subatomic Proof Systems

DOI10.1145/3173544zbMath1407.03069arXiv1703.10258OpenAlexW4298033134MaRDI QIDQ4608728

Alessio Guglielmi, Andrea Aler Tubella

Publication date: 22 March 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.10258

zbMATH Keywords

cut-eliminationnormalisationdeep inferencesubatomic proof systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

A Subatomic Proof System for Decision Trees ⋮ An Analytic Propositional Proof System on Graphs

This page was built for publication: Subatomic Proof Systems