Einstein’s 1905 paper on Brownian motion was an essential contribution to the foundation of modern atomism [20]. Atomism as understood in science today presupposes, like its predecessor rooted in the theories of nature from Greek antiquity and from early modern times, that matter is constituted by small entities. But it no longer assumes that the properties and the behavior of these entities ca...

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...