๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Relation between measurement theory and symbolic logic

โœ Scribed by M. N. Hack


Book ID
110647100
Publisher
Springer-Verlag,Italian Physical Society
Year
1968
Weight
113 KB
Volume
54
Category
Article
ISSN
0369-3554

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Logical relations between theories
โœ V. A. Smirnov ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 756 KB
On some connections between logic and ca
โœ J. Lambek ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 593 KB

Categories may be viewed as deductive systems or as algebraic theories. We are primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance to the foundations of mathematics. We see