applied+logic
101rhetoric — /ret euhr ik/, n. 1. (in writing or speech) the undue use of exaggeration or display; bombast. 2. the art or science of all specialized literary uses of language in prose or verse, including the figures of speech. 3. the study of the effective… …
102LF (logical framework) — In type theory, the LF logical framework provides a means to define (or present) logics. It is based on a general treatment of syntax, rules and proofs by means of a dependently typed lambda calculus. Syntax is treated in a style similar to, but… …
103Cotolerant sequence — In mathematical logic, a cotolerant sequence is a sequence of formal theories such that there are consistent extensions of these theories with each Si + 1 is cointerpretable in Si. Cotolerance naturally generalizes from sequences of theories to… …
104communication — communicational, adj. /keuh myooh ni kay sheuhn/, n. 1. the act or process of communicating; fact of being communicated. 2. the imparting or interchange of thoughts, opinions, or information by speech, writing, or signs. 3. something imparted,… …
105Cointerpretability — In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S, when the language of S can be translated into the language of T in such a way that S proves every… …
106Jan Bergstra — Jan A Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the… …
107Béziau — Jean Yves Béziau Jean Yves Béziau (* 15. Januar 1965 in Orléans, Frankreich) ist Professor und Forscher des brasilianischen Forschungrsrates CNPq der nationalen Universität in Ceara, Brasilien. Béziau ist französischer und schweizerischer… …
108Жан Ив Безъё — (родился 14 января 1965(19650114) в Орлеане, Франция) профессор Бразильского академического центра при Федеральном университете Цеары Бразилия. Безъё имеет двойное гражданство (Франция) и (Швейцария). Он свободно владеет английским, португальским …
109Tolerant sequence — In mathematical logic, a tolerant sequence is a sequence :T 1,...,T n of formal theories such that there are consistent extensions :S 1,...,S n of these theories with each S {i+1} interpretable in S i. Tolerance naturally generalizes from… …
110Weak interpretability — is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the …
