Pages that link to "Item:Q5115853"
From MaRDI portal
The following pages link to Translations Between Logics: A Survey (Q5115853):
Displaying 5 items.
- Note on grammatical translations of logical calculi (Q1204116) (← links)
- Translations and similarity-based logic programming (Q1606792) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic (Q3771659) (← links)
- Translation-Based Revision and Merging for Minimal Horn Reasoning. (Q4576205) (← links)