Pages that link to "Item:Q2399603"
From MaRDI portal
The following pages link to Translating non-classical logics into classical logic by using hidden variables (Q2399603):
Displaying 4 items.
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Encoding two-valued nonclassical logics in classical logic (Q2751373) (← links)
- Non-classical operations hidden in classical logic (Q3643318) (← links)