Zobrazeno 1 - 10
of 997
pro vyhledávání: '"Santschi, P."'
Autor:
Fussner, Wesley, Santschi, Simon
We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizatio
Externí odkaz:
http://arxiv.org/abs/2407.21613
Autor:
Fussner, Wesley, Santschi, Simon
We exhaustively classify varieties of BL-algebras with the amalgamation property, showing that there are only countably many of them and solving an open problem of Montagna. As a consequence of this classification, we obtain a complete description of
Externí odkaz:
http://arxiv.org/abs/2403.13617
Autor:
Metcalfe, George, Santschi, Simon
This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial class of idempotent semifields has a finite basis; (ii) there are cont
Externí odkaz:
http://arxiv.org/abs/2402.09876
It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation property. The prev
Externí odkaz:
http://arxiv.org/abs/2310.14953
Autor:
B.J. Van Soest, R.D. Matson, D.E. Santschi, T.F. Duffield, M.A. Steele, K. Orsel, E.A. Pajor, G.B. Penner, T. Mutsvangwa, T.J. DeVries
Publikováno v:
Journal of Dairy Science, Vol 107, Iss 10, Pp 8286-8298 (2024)
ABSTRACT: The objectives of this study were to determine the farm-level hyperketolactia (HKL) prevalence, as diagnosed from the milk BHB concentration, on dairy farms milking with an automated milking system (AMS) and to describe the farm-level housi
Externí odkaz:
https://doaj.org/article/4dea245b177a4db9a13fa84227807af5
Autor:
Laura Van Driessche, Débora E. Santschi, Éric Paquet, David L. Renaud, Édith Charbonneau, Marie-Lou Gauthier, Michael A. Steele, Anaïs Chancy, Nicolas Barbeau-Grégoire, Sébastien Buczinski
Publikováno v:
Journal of Dairy Science, Vol 107, Iss 9, Pp 7276-7285 (2024)
ABSTRACT: The objective of this study was to examine the influence of different environmental factors on ATP luminometry measurements of feeding equipment and to investigate associations with health of preweaning calves and the levels of ATP identifi
Externí odkaz:
https://doaj.org/article/860b2fab7ee34e5d9fb87a48f2e01ba7
Autor:
Fussner, Wesley, Santschi, Simon
We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well as their mu
Externí odkaz:
http://arxiv.org/abs/2305.05051
Autor:
B.J. Van Soest, R.D. Matson, D.E. Santschi, T.F. Duffield, M.A. Steele, K. Orsel, E.A. Pajor, G.B. Penner, T. Mutsvangwa, T.J. DeVries
Publikováno v:
Journal of Dairy Science, Vol 107, Iss 7, Pp 4409-4425 (2024)
ABSTRACT: The objective of this study was to describe the nutritional strategies used on Canadian dairy farms with automated milking systems (AMS), both at the feed bunk and the concentrate offered at the AMS, as well as to determine what dietary com
Externí odkaz:
https://doaj.org/article/e9004d16c90649aaae480f1a3dd564e9
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 1 (January 26, 2024) lmcs:10937
Join-preserving maps on the discrete time scale $\omega^+$, referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in the course of program execution. The set of time warps forms a si
Externí odkaz:
http://arxiv.org/abs/2302.04668
Publikováno v:
Swiss Medical Weekly, Vol 154, Iss 10 (2024)
BACKGROUND: Digital health holds promise for enhancing care coordination and supporting patient self-management. However, various barriers, including at the healthcare professional level, hinder its adoption. This cross-sectional study explored the e
Externí odkaz:
https://doaj.org/article/fe5496dc86ba4b839ba6aaaaa545f358