๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the continuous nature of the poetic semantics

โœ Scribed by I.I. Revzin


Publisher
Elsevier Science
Year
1974
Tongue
English
Weight
388 KB
Volume
3
Category
Article
ISSN
0304-422X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the Semantics of Comparative Logic
โœ Pierluigi Minari ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 781 KB
On the semantics of nested datatypes
โœ Clare Martin; Jeremy Gibbons ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 83 KB
On the semantics of classical disjunctio
โœ 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