✦ LIBER ✦

A New "Feasible" Arithmetic

✍ Scribed by Stephen Bellantoni and Martin Hofmann

Book ID: 124978660
Publisher: Association for Symbolic Logic
Year: 2002
Tongue: English
Weight: 281 KB
Volume: 67
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2694998

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Arithmetic

📂 Article 📅 1947 🏛 Nature Publishing Group 🌐 English ⚖ 123 KB

A new fuzzy arithmetic

✍ Ming Ma; Menahem Friedman; Abraham Kandel 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 100 KB

In this paper, we ÿrst present fuzzy numbers with a new parametric form. Based on this representation, a new fuzzy arithmetic is deÿned and applied to fuzzy linear equations and fuzzy calculus.

On two questions about feasibly construc

On two questions about feasibly constructive arithmetic

✍ Morteza Moniri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

## Abstract __IPV__ is the intuitionistic theory axiomatized by Cook's equational theory __PV__ plus __PIND__ on __NP__‐formulas. Two extensions of __IPV__ were introduced by Buss and by Cook and Urquhart by adding __PIND__ for formulas of the form __A__(__x__) ∨ __B__, respectively ¬¬__A__(__x__),

NEW ARITHMETICS

📂 Article 📅 1929 🏛 School Science and Mathematics Association 🌐 English ⚖ 64 KB

A new geometric–arithmetic index

✍ Gholamhossein Fath-Tabar; Boris Furtula; Ivan Gutman 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 183 KB

A new characterization of arithmeticity

✍ Kalle Kaarli 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 31 KB