First-order logic and vagueness
Speaker: Marian Calborean (University of Bucharest) Abstract: The Sorites paradox is usually studied as a propositional paradox. However, the general form of the Sorites is second-order, with three main features. …
2 events found.
Seminar
Events for December 19, 2019
Off-the-Record Communication (OTR) si CryptoGo (joc de carti de criptografie)
Title: Off-the-Record Communication (OTR) Speaker: Mihail-Iulian Plesa Abstract: Off-the-Record Communication (OTR) este un protocol care modealeaza o discutie dintre doua entitati, care ar trebui sa satisfaca anumite proprietati de securitate. …