Наредни састанак Семинара биће одржан у петак, 18. октобра 2024. године, у сали 301ф Математичког института САНУ са почетком у 14.15. У питању је заједнички састанак са Логичким семинаром.
Предавач: Станислав Сперански, Steklov Mathematical Institute of RAS
Наслов предавања: CONCERNING DOŠEN’S LOGIC N AND SOME OF ITS EXTENSIONS
Апстракт: The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen’s propositional logic N, whose negation is weaker than that of Johansson’s minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed by Cabalar, Odintsov and Pearce as a framework for studying foundations of well-founded semantics for logic programs with negation, while the latter has recently been advocated by Leitgeb as a basic system for dealing with hyperintensional contexts, but was first described by Moisil in 1942. We shall look at predicate versions of N and N*, and talk about a simple Routley-style semantics for Leitgeb’s predicate version of Hype. The corresponding strong completeness results will be presented. Also, the disjunction property and the existential property will be discussed. In addition, we shall see what happens when we add the contraposition axiom to several important extensions of N.
Напомена: Предавање се може пратити на даљину преко линка Одељења за математику: https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r