✦ LIBER ✦

On the semantics of Old Englishcempaandcampian

✍ Scribed by Joyce Hill

Publisher: Springer Netherlands
Year: 1983
Tongue: English
Weight: 219 KB
Volume: 67
Category: Article
ISSN: 0028-2677
DOI: 10.1007/bf02334234

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Semantics of the Old Russian Colloqu

The Semantics of the Old Russian Colloquial Lexicon

✍ Tatjana Nikolaevna Soldatenkova; Igor’ Stepanovič Uluchanov 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 308 KB

On phase semantics and denotational sema

On phase semantics and denotational semantics: the exponentials

✍ Antonio Bucciarelli; Thomas Ehrhard 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deÿne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as

On the semantics of polymorphism

✍ Mario Coppo 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 598 KB

On the Treatment of Incomparability in O

On the Treatment of Incomparability in Ordering Semantics and Premise Semantics

✍ Eric Swanson 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 409 KB

On the Semantics of Comparative Logic

✍ Pierluigi Minari 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 781 KB

On the semantics of classical disjunctio

On the semantics of classical disjunction

✍ David Pym; Eike Ritter 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 214 KB

The -calculus provides a system of realizers for classical free (cf. natural) deduction in the absence of disjunction. We identify two forms of disjunction, one derived from Gentzen's sequent calculus LJ and one from LK, and develop the corresponding metatheory for extended with disjunction. We desc