𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On some connections between logic and category theory

✍ Scribed by J. Lambek

Publisher
Springer Netherlands
Year
1989
Tongue
English
Weight
593 KB
Volume
48
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

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 this as a common thread running through the six contributions to this issue of Studia Logica.

πŸ“œ SIMILAR VOLUMES

Some Connections between Topological and
Some Connections between Topological and Modal Logic
✍ Kurt Engesser πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 919 KB

## Abstract We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood an

On Some Connections between Potential Th
On Some Connections between Potential Theory and Excursions of Reflecting Brownian Motion
✍ Reinhard Lang πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 620 KB

We consider reflecting Brownian motion in a bounded domain with smooth boundary. Formulas for the moments of the excursion lengths are derived and connections between excursion theory of reflecting Brownian motion and notions from recurrent potential theory are explored.

On some connections between permutations
On some connections between permutations and coding
✍ J. DΓ©nes πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 365 KB

The aim of this paper is twofold: namely, to show how to use permutation coding for voice and to show how permutation coding helps parallel computation. Besides that mutants will play an important role in this paper.