Pages that link to "Item:Q4304148"
From MaRDI portal
The following pages link to Translations of Logical Formulas and the Equiconsistency Problem (Q4304148):
Displaying 4 items.
- Note on grammatical translations of logical calculi (Q1204116) (← links)
- A Warning About Translating Axioms (Q3250595) (← links)
- Mutual Transformability of the Formulas of the Languages Of MarkovL2ω AND Rω (Q3791153) (← links)
- Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology (Q3982861) (← links)