General normal forms for any additive logic

DOI10.1556/012.2017.54.3.1372MaRDI QIDQ4607851zbMATH OpenOpenAlexFDO

Authors 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

additive logicsnormal formspartial connectives

Mathematics Subject Classification ID

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

Abstract: In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-propositional connectives to be closed on the set of formulas, so our normal forms cover logics with partial connectives too. We also show that most of the known normal forms in the literature are in fact particular cases of our general forms. These general normal forms are natural improvement of the distributive normal forms of J. Hintikka and their modal analogues, e.g. [Anderson] and [Fine].

Recommendations

• Normal forms in combinatory logic
• A generalization of the theory of normal forms
• A normal form for logical derivations implying one for arithmetic derivations
• scientific article; zbMATH DE number 1420808
• scientific article; zbMATH DE number 3966022
• scientific article; zbMATH DE number 475184
• Gaifman normal forms for counting extensions of first-order logic
• Representation of logic formulas by normal forms.
• scientific article; zbMATH DE number 5371703
• Simple Gentzenizations for the normal formulae of contraction-less logics

Cited in

(4)

• An algebraic theory of normal forms
• The finitely axiomatizable complete theories of non-associative arrow frames
• First order logic without equality on relativized semantics
• A normal form for logical derivations implying one for arithmetic derivations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4607851)