Pages that link to "Item:Q1158407"
From MaRDI portal
The following pages link to A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic (Q1158407):
Displayed 4 items.
- Thermodynamic functions of electron gas on the semiconductor nanotube surface in a magnetic field (Q977556) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- A plea for KR (Q2695153) (← links)
- THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS (Q3459088) (← links)