Odeljenje za matematiku, 18. oktobar 2024.

Naredni sastanak Seminara biće održan u petak, 18. oktobra 2024. godine, u sali 301f Matematičkog instituta SANU sa početkom u 14.15. U pitanju je zajednički sastanak sa Logičkim seminarom.
 
Predavač: Stanislav Speranski, Steklov Mathematical Institute of RAS
 
Naslov predavanja: CONCERNING DOŠENʼS LOGIC N AND SOME OF ITS EXTENSIONS
 
Apstrakt: 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.

Napomena:
Predavanje se može pratiti na daljinu preko linka Odeljenja za matematiku: https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r



Ostavite vaš komentar:


(opciono)
(nece biti prikazano)