General normal forms for any additive logic

DOI10.1556/012.2017.54.3.1372zbMath1413.03021arXiv1511.03631OpenAlexW3098461067MaRDI QIDQ4607851

Mohamed Khaled

Publication date: 14 March 2018

Published in: Studia Scientiarum Mathematicarum Hungarica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.03631

zbMATH Keywords

normal formspartial connectivesadditive logics

Mathematics Subject Classification ID

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

Related Items (2)

The finitely axiomatizable complete theories of non-associative arrow frames ⋮ First order logic without equality on relativized semantics

This page was built for publication: General normal forms for any additive logic