✦ LIBER ✦

Extensions As Representative Objects In Frege‘s Logic

✍ Scribed by Ruffino, M

Tongue: English
Weight: 66 KB
Category: Fiction

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ineffability in Frege's logic

✍ Philip Hugly 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 868 KB

In this paper I consider the bearing of Frege's philosophical logic on the questions of (i) what can and cannot be said in the discussion of logical types and (ii) what is involved in symbolizing things of different logical types. I try to show, first, that certain ideas can be found in Frege's log

Extensions of Makinson's Completeness Th

Extensions of Makinson's Completeness Theorems in Modal Logic

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

Representing the MSR cryptoprotocol spec

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

✍ Iliano Cervesato; Mark-Oliver Stehr 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 491 KB

An analog of Beth's theorem in normal ex

An analog of Beth's theorem in normal extensions of the modal logic K4

✍ L. L. Maksimova 📂 Article 📅 1992 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 814 KB

Complexity as a characteristic of polici

Complexity as a characteristic of policies in Albert Breton's economic theory of representative government

✍ Lawrence M. Bezeau 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 313 KB

Extension of Ramo's theorem as applied t

Extension of Ramo's theorem as applied to induced charge in semiconductor detectors

✍ G. Cavalleri; E. Gatti; G. Fabri; V. Svelto 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 278 KB