✦ LIBER ✦

The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable

✍ Scribed by Michael Zakharyaschev

Book ID: 110219839
Publisher: Springer Netherlands
Year: 1997
Tongue: English
Weight: 261 KB
Volume: 59
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1005084328298

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a fragment of intuitionistic logic wh

On a fragment of intuitionistic logic which is complete with respect to the kripke frames with finite domains

✍ P. A. Schreiner 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 641 KB

The explicit factorization of the Cremon

The explicit factorization of the Cremona transformation which is an extension of the Nagata automorphism into elementary links

✍ Takashi Kishimoto 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB

## Abstract We consider the Cremona transformation Φ~__σ__~ : ℙ^3^ … → ℙ^3^ which is an extension of the famous Nagata automorphism __σ__ on the affine 3‐space 𝔸^3^. In this paper we shall factorize this Cremona transformation Φ~__σ__~ explicitly into 8 elementary links according to the Sarkisov Pr

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views