Pages that link to "Item:Q2753262"
From MaRDI portal
The following pages link to Translations between logical systems: A manifesto (Q2753262):
Displaying 21 items.
- Translations between modal logics of reactive systems (Q674003) (← links)
- An order-theoretic analysis of interpretations among propositional deductive systems (Q690930) (← links)
- Limits for paraconsistent calculi (Q701299) (← links)
- Note on grammatical translations of logical calculi (Q1204116) (← links)
- Synonymous logics (Q1404389) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- Transfers between logics and their applications (Q1868251) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- What is a logic translation? (Q1931306) (← links)
- The concept of `translation': history and theory (Q2856068) (← links)
- A Warning About Translating Axioms (Q3250595) (← links)
- Translations of Logical Formulas and the Equiconsistency Problem (Q4304148) (← links)
- (Q4372673) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- On the Concept of Following Logically (Q4706125) (← links)
- New Algebras and Logic from a Category of Rough Sets (Q5082209) (← links)
- Conservative translations (Q5935991) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- A note on closure spaces determined by intersections (Q6154690) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
- Compositionality in context (Q6612797) (← links)