Pages that link to "Item:Q2751814"
From MaRDI portal
The following pages link to An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic (Q2751814):
Displaying 6 items.
- An intuitionistic characterization of classical logic (Q939055) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Embedding classical in minimal implicational logic (Q2793912) (← links)
- Embedding from multilattice logic into classical logic and vice versa (Q3133174) (← links)
- Embedding first order predicate logic in fragments of intuitionistic logic (Q4133591) (← links)
- (Q5692811) (← links)
