Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic

DOI10.1023/A:1012499207246zbMath0988.03084OpenAlexW1490031414MaRDI QIDQ5954710

Mojtaba Aghaei, Mohammad Ardeshir

Publication date: 14 April 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012499207246

zbMATH Keywords

interpolationsequent calculuscut-eliminationaxiomatizationBasic Propositional LogicBPL

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Amalgamation property for the class of basic algebras and some of its natural subclasses

This page was built for publication: Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic