✦ LIBER ✦

On a “proof” of non-synonymy

✍ Scribed by Robert J. Richman

Publisher: Springer Netherlands
Year: 1957
Tongue: English
Weight: 152 KB
Volume: 8
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf02317246

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Non-cognitive synonymy and the definabil

Non-cognitive synonymy and the definability of ‘good’

✍ David Rynin 📂 Article 📅 1960 🏛 Springer Netherlands 🌐 English ⚖ 476 KB

On the concept of information synonymy

✍ Ladislav Tondl 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 647 KB

In his program-stating paper 'On the Construction of Machine Language for an Information Machine', the Soviet pioneer of information science, V. A. Uspenski [9], has specified some requirements that should be met by the information language to be used in any computerized information system. One of t

A Logical Calculus of Meaning and Synony

A Logical Calculus of Meaning and Synonymy

✍ Yiannis N. Moschovakis 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 598 KB

On lengths of proofs in non-classical lo

On lengths of proofs in non-classical logics

✍ Pavel Hrubeš 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 653 KB

A simple proof of the Sato proposition o

A simple proof of the Sato proposition on non-homothetic CES functions

✍ Koji Shimomura 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 51 KB

Monotone simulations of non-monotone pro

Monotone simulations of non-monotone proofs

✍ Albert Atserias; Nicola Galesi; Pavel Pudlák 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 173 KB

We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis 4; 3) can be turned into a proof containing only monotone formulas of size m Oðlog mÞ and with the number of proof lines polynomial in m: Also we show that some interesting special cases, nam