scientific article
From MaRDI portal
Publication:3086940
zbMath1244.03158MaRDI QIDQ3086940
Revantha Ramanayake, Rajeev Goré
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (5)
Cut elimination for GLS using the terminability of its regress process ⋮ Machine-Checked Proof-Theory for Propositional Modal Logics ⋮ Cut-elimination for weak Grzegorczyk logic Go ⋮ Machine Checking Proof Theory: An Application of Logic to Logic ⋮ The bounded proof property via step algebras and step frames
This page was built for publication:
