January 14th was officially proclaimed as the World Logic Day at the 40th session of the General Conference of UNESCO in Paris, November 12-27, 2019. We celebrate the 2nd edition of the World-Logic Day by the following event:
January 14th, 2020, 19.15-20.30, Universitätsgebäude am Hegelplatz, Dorotheenstraße 24 (DOR 24), Room 1.406
Talk + Discussion: Timm Lampert (joint work with Anderson Nakano),
Abstract. Modern logic engines widely fail to decide axiom sets that are only satisfiable in an infinite domain. We specify a method to decide an infinite number of infinity axiom sets by superpostulates. Whatever formula is derivable from strong, infinity superpostulates is also satisfiable. Starting from known infinity axioms, complete infinity axiom sets for pure first-order logic with only one binary relation (FOLR) are specified. Based on complete theories, rules are defined to generate a system of infinity superpostulates. We end with a discussion of the possibility to extend the method of specifying infinity superpostulates for FOLR.
Afterwards (8.30 p.m), we meet at the restaurant Via Nova, Universitätsstr.2, 10117 Berlin.© Timm Lampert / 2020-05-01