Czy jeśli mam i nie mam, to jestem Ernestem Hemingweyem?

Kacper Bem (UAM)

W swoim referacie przedstawię krótko system R logiki relewantnej Andersona-Belnapa. W systemie tym podstawą wynikania logicznego mogą być tylko takie implikacje logiki klasycznej, które w poprzedniku i następniku posiadają choć jedną wspólną formułę. W szczególności odrzucić należy prawo Dunsa Szkota, którego podstawienie znajduje się w tytule referatu.