Strong normalization for all-style LKtq

DOI10.1007/3-540-61208-4_15zbMath1415.03056OpenAlexW1597971736MaRDI QIDQ4645240

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco

Publication date: 10 January 2019

Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61208-4_15

zbMATH Keywords

sequent calculuslinear logicstructural rulelogical rulelogical reduction

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Linear logic
• Proof strategies in linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• A new deconstructive logic: linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong normalization for all-style LKtq