English Intuitionistic logic Cited by user Marc Schroeder on 16 Jan 2024 Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by…
English Computability logic Cited by user Bender235 on 29 May 2020 Computability logic (CoL) is a research program and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical…
English Dialogical logic Cited by user Citation bot on 08 May 2020 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…