Pages that link to "Item:Q2352461"
From MaRDI portal
The following pages link to An alternative normalization of the implicative fragment of classical logic (Q2352461):
Displaying 5 items.
- A new normalization strategy for the implicational fragment of classical propositional logic (Q708929) (← links)
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic (Q2751814) (← links)
- (Q3322078) (← links)
- (Q5039104) (← links)
