Intuitionistic logic freed of all metarules

DOI10.2178/jsl/1203350782zbMath1160.03037OpenAlexW2145822311MaRDI QIDQ5444696

Giovanna Corsi, G. Tassi

Publication date: 25 February 2008

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1203350782

zbMATH Keywords

intuitionistic logicsequent calculiproof searchmetarule

Mathematics Subject Classification ID

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

Related Items (3)

An Evaluation-Driven Decision Procedure for G3i ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models

Cites Work

• Unnamed Item
• Semantic trees for Dummett's logic LC
• A constructive analysis of RM

This page was built for publication: Intuitionistic logic freed of all metarules