VSL 2014: VIENNA SUMMER OF LOGIC 2014
LATD ON SATURDAY, JULY 19TH, 2014
Days:
previous day
all days

View: session overviewtalk overviewside by side with other conferences

08:30-09:30 Session 105: Invited Talk (Scott) (joint with LC)
Location: MB, Festsaal
08:30
Geometry without points
SPEAKER: Dana Scott

ABSTRACT. Ever since the compilers of Euclid's Elements gave the "definitions" that "a point is that which has no part" and "a line is breadthless length", philosophers and mathematicians have worried that the the basic concepts of geometry are too abstract and too idealized. In the 20th century writers such as Husserl, Lesniewski, Whitehead, Tarski, Blumenthal, and von Neumann have proposed "pointless" approaches.

A problem more recent authors have emphasized it that there are difficulties in having a rich theory of a part-whole relationship without atoms and providing both size and geometric dimension as part of the theory.

A solution will be proposed using the Boolean algebra of measurable sets modulo null sets along with relations derived from the group of rigid motions in Euclidean n-space.

(This is a preliminary report on on-going joint work with Tamar Lando, Columbia University.)

09:45-10:15 Session 108A: Contributed Talk
Location: MB, Festsaal
09:45
A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic
SPEAKER: Arnon Avron

ABSTRACT. We introduce proof systems and semantics for two paraconsistent extensions of the system $\mathbf{T}$ of Anderson and and Belnap, and prove strong soundness, completeness, and decidability for both. The semantics of both systems is based on excluding just one element from the set of designated values. One of the systems has the variable sharing property, and so it is a relevant logic. The other is an extension of the first that may be viewed as a semi-relevant dual of {\L}ukasiewicz Logic.

09:45-10:15 Session 108B: Contributed Talk
Location: MB, Hörsaal 15
09:45
Recent advances in the structural description of involutive FL$_e$-chains
SPEAKER: Sándor Jenei

ABSTRACT. For involutive FL$_e$-algebras, several construction and decomposition theorems will be presented: connected co-rotations, connected and disconnected co-rotation-annihilations, pistil-petal construction and decomposition, and involutive ordinals sums. The constructions provide us with a huge set of examples of negative or zero rank involutive FL$_e$-algebras.

10:15-10:45Coffee Break
10:45-12:45 Session 109F: Invited Talk (Ghilardi) and Tutorial (Baader)
Location: MB, Festsaal
10:45
Step frames analysis in single- and multi-conclusion calculi
11:45
Tutorial: Fuzzy Description Logics (Part 2)
13:00-14:30Lunch Break
14:30-16:00 Session 113E: Contributed Talks
Location: MB, Festsaal
14:30
MV-algebras with product and the Pierce-Birkhoff conjecture

ABSTRACT. Our main issue was to understand the connection between Lukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we define the class of fMV-algebras, which are MV-algebras endowed with both an internal binary product and a scalar product with scalars from [0,1]. The proper quasi-variety generated by [0,1], with both products interpreted as the real product, provides the desired framework: the normal form theorem of its corresponding logical system can be seen as a local version of the Pierce-Birkhoff conjecture. We survey the theory of MV-algebras with product (PMV-algebras, Riesz MV-algebras, fMV-algebras) with a special focus on the normal form theorems and their connection with the Pierce-Birkhoff conjecture.

15:00
On tensor product in Lukasiewicz logic

ABSTRACT. Our goal is to establish functorial adjunctions between the category of MV-algebras and the categories of structures obtained by adding product operations, i.e. Riesz MV-algebras, PMV-algebras and fMV-algebras. We succed to do this for the corresponding subclasses of semisimple structures. Our main tool is the semisimple tensor product defined by Mundici. As consequence we prove the amalgamation property for unital and semisimple fMV-algebras. On our way we also prove that the MV-algebraic tensor product commutes, via Mundici's $\Gamma$ functor, with the tensor product of abelian lattice-ordered groups defined by Martinez.

15:30
On the Logic of Perfect MV-algebras

ABSTRACT. The paper is devoted to the logic Lp of perfect MV-algebras. It is shown that a) m-generated perfect MV-algebra is projective if and only if it is finitely presented; b) there exists a one-to-one correspondence between projective formulas of Lp with m-variables and the m-generated projective subalgebras of the m-generated free algebras of the variety generated by perfect MV-algebras; c) Lp is structurally complete.

14:30-16:00 Session 113F: Contributed Talks
Location: MB, Hörsaal 15
14:30
Bases for admissible rules for fragments of RMt

ABSTRACT. In this work, we provide bases for admissible rules for certain fragments of RMt, the logic R-mingle extended with a constant t.

15:00
The Admissible Rules of Subframe Logics

ABSTRACT. The admissible rules of a logic are exactly those rules under which its set of theorems is closed. In this talk we will consider a class of intermediate logics, known as the subframe logics, and explore some of the structure of their admissible rules. We will show a particular scheme of admissible rules to be admissible in all subframe logics. Using this scheme we provide a complete description of the admissible rules of the intermediate logic BD2.

15:30
Admissible rules and almost structural completeness in some first-order modal logics
SPEAKER: unknown

ABSTRACT. Almost Structural Completeness is proved and the form of admissible rules is found for some first-order modal logics extending S4.3. Bases for admissible rules are also investigated.

16:00-16:30Coffee Break
16:30-17:00 Session 116F: Contributed Talk
Location: MB, Festsaal
16:30
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

ABSTRACT. We consider intermediate predicate logics defined by fixed well-ordered (or dually well-ordered) linear Kripke frames with constant domains where the order-type of the well-order is strictly smaller than ω^ω. We show that two such logics of different order-type are separated by a first-order sentence using only one monadic predicate symbol. Previous results by Minari, Takano and Ono, as well as the second author, obtained the same separation but relied on the use of predicate symbols of unbounded arity.

16:30-17:00 Session 116G: Contributed Talk
Location: MB, Hörsaal 15
16:30
A meta-Logic of multiple-conclusion rules
SPEAKER: Alex Citkin

ABSTRACT. Our goal is to introduce a framework for working with generalized multiple-conclusion rules (in propositional logics) containing asserted and rejected propositions. We construct a meta-logic that gives the syntactic means for manipulations with such type of rules. And we discuss the different flavors of the notion of admissibility that arises due to presence of multiple conclusions.

19:00-21:30 Session 122: VSL Reception 2