View: session overviewtalk overviewside by side with other conferences
10:45 | Semi-implication and matrices SPEAKER: Arnon Avron |
11:30 | Yoneda’s embedding and Post-completeness SPEAKER: Hugo Macedo |
12:00 | On the characterization of broadly truth-functional logics SPEAKER: Sérgio Marcelino ABSTRACT. While an abstract characterization of truth-functionality in terms of a property called `cancellation' is known since long, an extension of this result so as to cover broader classes of logics characterized by semantics that extend the notion of truth-functionality resists a simple-minded approach. In our contribution we discuss some difficulties encountered alongside this task and propose a solution to the characterization quest, for the case of nondeterministic semantics, and also show how the study of such properties is of paramount importance for the effort of understanding the semantical mechanism underlying the combination of logics through the fibring method. |
12:30 | On non-deterministic fuzzy negations SPEAKER: Benjamín Bedregal ABSTRACT. Fuzzy negations are an important mathematical tool in approximate reasoning as well as in decision making. This fundamental role of fuzzy negation has led to the introduction of an analogous notion for several extensions of fuzzy logics, and in particular for typical hesitant fuzzy elements (HFE). We here assume, nevertheless, that a fundamental point for defining fuzzy negations is the necessity of a partial order on the HFE set. For that matter we entertain the use of the Xu-Xia-partial order, which satisfies the antitonicity property of typical hesitant fuzzy negations (THFN). We propose then that each THFN based on Xu-Xia order determines a non-deterministic negation and we study several classes of non-deterministic negations and also relate them to fuzzy negations. |
14:30 | Non truth-functional bivalent logics extending classical bivalent logics SPEAKER: Jean-Yves Béziau |
15:00 | A survey on Suszko’s Thesis and its formal developments SPEAKER: Sanderson Molick ABSTRACT. Many-valued logics received several criticisms since their birth. Among their main opponents was the Polish logician Roman Suszko. In the mid-70s, at a conference held in Craców, he called into question the very nature of many-valuedness by claiming the existence of "but two truth-values", a statement nowadays recognized as Suszko's Thesis. Suszko's motivation for his ideas lies in defending the existence of a double semantic role expressed by truth-values. This duplicity is revealed by him in drawing the difference between algebraic and logical values. According to him, even though we can have more than two algebraic values, there are only two genuine logical ones: truth and falsehood. The philosophical content of his ideas finds support in a technical result called Suszko's Reduction, a theorem that shows that every Tarskian logic may be characterized by a bivalent semantics. Several interesting lines of investigation have arisen from Suszko's ideas. It is the purpose of the present talk to survey the main developments in the area. Our exposition will show not only the main results that corroborate Suszko's ideas, but also those that pose limitations to them and have been leading to discussions about their meaning. |
15:30 | Effective first-order reasoning about incomplete and inconsistent information SPEAKER: Anna Zamansky |
16:30 | Separating truth and proof in the Logic of Proofs SPEAKER: Roman Kuznets |
08:45 | VSL Keynote Talk: Verification of Computer Systems with Model Checking SPEAKER: Edmund Clarke ABSTRACT. Model Checking is an automatic verification technique for large state transition systems. The technique has been used successfully to debug complex computer hardware and communication protocols. Now, it is beginning to be used for complex hybrid (continuous/discrete) systems as well. The major disadvantage of the technique is a phenomenon called the State Explosion Problem. This problem is impossible to avoid in worst case. However, by using sophisticated data structures and clever search algorithms, it is now possible to verify hybrid systems with astronomical numbers of states. |