✦ LIBER ✦

Axiomatizability and completeness of some classes of partially ordered polygons

✍ Scribed by M. A. Pervukhin; A. A. Stepanova

Book ID: 106342068
Publisher: Springer US
Year: 2009
Tongue: English
Weight: 332 KB
Volume: 48
Category: Article
ISSN: 0002-5232
DOI: 10.1007/s10469-009-9040-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizability and completeness of som

Axiomatizability and completeness of some classes of s-polygons

✍ A. A. Stepanova 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 632 KB

Axiomatizability and model completeness

Axiomatizability and model completeness of the class of regular polygons

✍ A. A. Stepanova 📂 Article 📅 1994 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 672 KB

Some classes of automata as partially or

Some classes of automata as partially ordered sets

✍ Masami Ito 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 888 KB

Order and disjoint completeness of linea

Order and disjoint completeness of linear partially ordered spaces

✍ A. I. Veksler; V. A. Geiler 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 532 KB

Necessary and Sufficient Conditions for

Necessary and Sufficient Conditions for the Order- Completeness of Partially Ordered Vector Spaces

✍ Karl-Heinz Elster; Reinhard Nehse 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 448 KB

The HAHN-BANACH-theorem is known to have fundamental importance for several fields of mathematics. This theorem is not used concerning functionals, but operators which map into a real partially ordered vector space. In this paper is shown that the validity of this theorem is equivalent t o the vali

On Non-axiomatizability of Superintuitio

On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames

✍ Skvortsov, D. 📂 Article 📅 2006 🏛 Oxford University Press 🌐 English ⚖ 158 KB