✦ LIBER ✦

Epsilon substitution for first- and second-order predicate logic

✍ Scribed by Mints, Grigori

Book ID: 120197612
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 146 KB
Volume: 164
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.05.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Binary decision diagrams for first-order

Binary decision diagrams for first-order predicate logic

✍ Jan Friso Groote; Olga Tveretina 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 257 KB

The Axiom of Choice in Second-Order Pred

The Axiom of Choice in Second-Order Predicate Logic

✍ Christine Gaßner 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 586 KB

## Abstract The present article deals with the power of the axiom of choice (AC) within the second‐order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in

First Order Predicate Logic with General

First Order Predicate Logic with Generalized Quantifiersby Per Lindström

✍ Review by: G. Fuhrken 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 215 KB

Epsilon-Logic Is More Expressive Than Fi

Epsilon-Logic Is More Expressive Than First-Order Logic over Finite Structures

✍ Martin Otto 📂 Article 📅 2000 🏛 Association for Symbolic Logic 🌐 English ⚖ 236 KB

Characterizing Second Order Logic with F

Characterizing Second Order Logic with First Order Quantifiers

✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.

First- and Second-Order Logic of Mass Te

First- and Second-Order Logic of Mass Terms

✍ Peter Roeper 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 219 KB