SCOPE OF THE SERIESTrends in Logic is a bookseries covering essentially the same area as the journal Studia Logica -that is, contemporary formal logic and its applications and relations to other disciplines. These include artificial intelligence, informatics, cognitive science, philosophy of science, and the philosophy of language. However, this list is not exhaustive, moreover, the range of applications, comparisons and sources of inspiration is open and evolves over time.
A. M.Pitts in [Pi] proved that is a bi-Heyting category satisfying the Lawvere condition. We show that the embedding Φ: → Sh(P0, J0) into the topos of sheaves, (P0 is the category of finite rooted posets and open maps, J0 the canonical topology on P0) given by H ↦ HA(H, (−)) : P0 → Set preserves the structure mentioned above, finite coproducts, and subobject classifier; it is also conservative. This whole structure on can be derived from that of Sh(P0, J0) via the embedding Φ. We also show that the equivalence relations in are not effective in general. On the way to these results we establish a new kind of duality between and a category of sheaves equipped with certain structure defined in terms of Ehrenfeucht games. Our methods are model-theoretic and combinatorial as opposed to proof-theoretic as in [Pi].
We characterize the equational theories and Lawvere theories that correspond
to the categories of analytic and polynomial monads on Set, and hence also the
categories of the symmetric and rigid operads in Set. We show that the category
of analytic monads is equivalent to the category of regular-linear theories.
The category of polynomial monads is equivalent to the category of rigid
theories, i.e. regular-linear theories satisfying an additional global
condition. This solves a problem A. Carboni and P. T. Johnstone. The Lawvere
theories corresponding to these monads are identified via some factorization
systems.Comment: 29 pages. v2: minor correction
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.