𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Stability of weak second-order semantics

✍ Scribed by László Csirmaz

Book ID
104744972
Publisher
Springer Netherlands
Year
1988
Tongue
English
Weight
598 KB
Volume
47
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The regular-language semantics of second
The regular-language semantics of second-order idealized ALGOL
✍ Dan R. Ghica; Guy McCusker 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 479 KB

We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized ALGOL (IA) by expressing sets of complete plays as regular languages. Being derived directly from the fully abstract game semantics for IA, our model inh

A secondary semantics for Second Order I
A secondary semantics for Second Order Intuitionistic Propositional Logic
✍ Mauro Ferrari; Camillo Fiorentini; Guido Fiorino 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

## Abstract In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a s