Adam Přenosil: Vícehodnotové logiky (Mar 19 and Mar 26)
Osnova sekce
-
V přednášce se seznámíme se základními vícehodnotovými logikami, jejich motivacemi a jejich algebraickou sémantikou. Podíváme se také na základní vlastnosti logických spojek, které často zůstávají v platnosti i mimo klasickou logiku.