✦ LIBER ✦

A note on the axiomatics of theories in parthood

✍ Scribed by Carsten Pontow

Book ID: 108112955
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 359 KB
Volume: 50
Category: Article
ISSN: 0169-023X
DOI: 10.1016/j.datak.2003.12.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the interpretability logic of

A note on the interpretability logic of finitely axiomatized theories

✍ Maarten Rijke 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability

Axiomatic theory of enumeration: a note

Axiomatic theory of enumeration: a note on the axiom of extensionality

✍ P. L. Ferrari; G. Longo 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 354 KB

On a model in axiomatic field theory

✍ A. V. Efremov; V. A. Rizov 📂 Article 📅 1970 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 245 KB

ON THE AXIOMATIC TREATMENT OF THE UTILIT

ON THE AXIOMATIC TREATMENT OF THE UTILITY THEORY

✍ L. Daboni 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 321 KB

On the product of wick polynomials in th

On the product of wick polynomials in the axiomatic field theory

✍ A. Böhm; M. Polivanov 📂 Article 📅 1965 🏛 Springer-Verlag ⚖ 384 KB

A note on some quantitative theories of

A note on some quantitative theories of confirmation

✍ R. H. Vincent 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 102 KB