𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The number of {□, →}-logics

✍ Scribed by George F. Schumm

Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
83 KB
Volume
36
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two logical hierarchies of optimization
Two logical hierarchies of optimization problems over the real numbers
✍ Uffe Flarup; Klaus Meer 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB

## Dedicated to Professor Günter Asser on the occasion of his eightieth birthday We introduce and study certain classes of optimization problems over the real numbers. The classes are defined by logical means, relying on metafinite model theory for so called R-structures (see [12,11]). More precis

A.N. Kolmogorov, A.P. Yushkevich,Editors
A.N. Kolmogorov, A.P. Yushkevich,Editors, ,Mathematics of the 19th century: Mathematical logic, algebra, number theory, probability Theory (1992) Birkhäuser,Boston and Basel 308 $149.50.
✍ Jeremy Gray 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 133 KB

A neglected figure in the history of French mathematics and science. Science in Context 6, to appear. Navier, C. L. M. H. 1864. R(sum( des leqons donn(es d l'Ecole des Ponts et Chauss(es, sur l'application de la mdcanique d l'dtablissement des constructions et des machines. 3rd ed., Part 1 (B. de Sa

Number of non-Fregean sentential logics
Number of non-Fregean sentential logics that have adequate models
✍ Joanna Golińska-Pilarek 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 94 KB 👁 1 views

## Abstract We show that there are continuum many different non‐Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

The completeness of monotonic modal logi
The completeness of monotonic modal logics
✍ Brian F. Chellas; Audrey McKinney 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th