𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical structuralism and Benacerraf’s problem

✍ Scribed by Audrey Yap

Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
178 KB
Volume
171
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Translations of Logical Formulas and the
Translations of Logical Formulas and the Equiconsistency Problem
✍ Andrei A. Kuzichev 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

## Abstract A translation of formulas in a language __L__~1~ to formulas in a language __L__~2~ is a mapping which preserves the parameters and commutes with the substitution prefix, the propositional connectives and the quantifiers. Every translation generates a corresponding transformation of the