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...

Cognitive, or knowledge, agents, who are in some way aware of describing their own view the world (based on mental concepts), need to become concerned with expressions conceptions. My main supposition is that agents’ conceptions mainly expressed form linguistic spoken, written, and represented based e.g. letters, numbers, symbols. This research especially focuses symbolic (that manifested symbo...