Publication:4484337
From MaRDI portal
zbMath1013.03011MaRDI QIDQ4484337
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100131.htm
03B35: Mechanization of proofs and logical operations
03F05: Cut-elimination and normal-form theorems
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
A formally verified cut-elimination procedure for linear nested sequents for tense logic, Hypersequent and display calculi -- a unified perspective, Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi, Craig Interpolation in Displayable Logics, Machine Checking Proof Theory: An Application of Logic to Logic
Uses Software