Upcoming Talks

The weekly seminar is on Tuesdays 12:15, Room 30 (Collegium Broscianum). Our primary research interests are: Algebraic Logic, Model Theory, Philosophical Logic. Each year we choose a "designated book", and if no-one has a new result to talk about, we read through the book.

• • Oct 152024

  Krzysztof Krawczyk (UJ)

  $\begingroup $

  O algebrach Sugihary i ich związku z logikami relewantnymi

  Algebry Sugihary stanowią algebraiczną semantykę rozszerzeń logiki relewantnej R, spełniających aksjomat `mingle'. Podprosto nierozkładalne algebry Sugihary są łańcuchami mającymi największy element negatywny. Oczywiście, opis algebr podprosto nierozkładalnych nie wystarcza do opisu podquasirozmaitości. Trzeba jeszcze opisać (co najmniej) algebry krytyczne. Scharakteryzujemy je i pokażemy kilka podstawowych faktów o nich.

  $\endgroup$
• • Oct 222024

  12:30 Seminarium z Algebry Ogólnej (Politechnika Warszawska)

  $\begingroup $

  Dorota Wedmann: Problemy grupowe i ich wykorzystanie w kryptografii

  We attend the talk via Teams. W trakcie referatu przedstawię główne problemy grupowe mające zastosowanie w kryptografii oraz wybrane konstrukcje kryptograficzne bazujące na grupach policyklicznych, nilpotentnych oraz grafowych. Omówię jakich własności grupowych potrzebujemy w wykorzystaniach kryptograficznych.

  $\endgroup$
• • Oct 292024

  Zalan Gyenis (UJ)

  $\begingroup $

  Conditional substitution and some consequences

  The key feature of logics treated in Algebraic Logic is that they are structural (aka. substitutional), which roughly means that the atomic formulas do not carry any other information than how many of them are there. First-order logic is famously not substitutional, yet, most of the methods of algebraic logic can be applied to first-order logic, after some modifications. Two moves are crucial in these modifications. One move is generalizing the notion of being substitutional to being conditionally substitutional, the other move is refining the notion of a logic family. Thanks to these two moves, the algebraic methodology can be directly applied to first-order logic. In this talk I present the main ideas and give some illustrations.

  $\endgroup$

Email Tomasz Kowalski for inquiries about the seminar.

The mailing list for this seminar is the High Noon Seminar google group.
Email Zalan Gyenis if you want to join the list.