✦ LIBER ✦

Persistent properties and an application to algebras of logic

✍ Scribed by H. Andréka; S. Givant; I. Németi; A. Simon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebras of Recursively Enumerable Sets

✍ S. N. Manukian 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 477 KB

Lattices related to Post algebras and th

✍ D. Vakarelov 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 950 KB

Categorical interpretation of logical de

✍ A. El Khoury; S. Soloviev; L. Méhats; M. Spivakovsky 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 709 KB

Logical and algorithmic properties of in

✍ Dan Geiger; Judea Pearl 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 787 KB

Model Theoretic Syntax and Parsing: An A

✍ Adi Palm 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 456 KB

An application of Lie superalgebras to a

✍ Vyjayanthi Chari; Andrew Pressley 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 621 KB