English Game semantics Cited by user 150.161.2.147 on 13 Mar 2021 Game semantics (, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as…
English Dialogical logic Cited by user 150.161.2.147 on 28 Feb 2021 Dialogical logic (also known as the logic of dialogues) was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "wi…
English Lambda calculus Cited by user Nitpicking polish on 10 Jul 2017 Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using…