–
Room P3.10, Mathematics Building
Amilcar Sernadas, IST- TU Lisbon / SQIG - IT
Combined connectives arise in combined logics. In fibrings such combined connectives are known as shared connectives and inherit the logical properties of each component. A new form of combining connectives is proposed by inheriting only the common logical properties of the components. A sound and weakly complete calculus is provided for reasoning about both kinds of combined connectives. Many examples are provided contributing to a better understanding of what are the common properties of any two connectives, say disjunction and conjunction. Joint work with Cristina Sernadas and João Rasga.