Manuela Busaniche
Residuated lattices and twist-products. [SLIDES]
Roberto Cignoli
Cancelled
Josep Maria Font
Syntax meets semantics in abstract algebraic logic. [SLIDES]
Alessandra Palmigiano
Linear Logic Properly Displayed. [SLIDES]
James Raftery
Epimorphisms in Varieties of Residuated Structures. [SLIDES]
Kazushige Terui
How useful is proof theory for substructural logics?[SLIDES]
Constantine Tsinakis
Lattice-Ordered Groups in Logic: Influence and Centrality. [SLIDES]
Yde Venema
Axiomatizing modal fixpoint logics. [SLIDES]

Open Lecture:

Daniele Mundici
Ex Falso Veritas. Proof by reductio ad absurdum, and beyond.



The Booklet of Abstracts of SYSMICS2016 conference can be downloaded here.



Contributed talks will run in parallel sessions.
The Open Lecture will take place in the Aula Magna.

Submissions:

 
 
 
 
 
 

Monday 5

Tuesday 6

Wednesday 7

Thursday 8

Friday 9

 

9:30 – 10:30

  

Alessandra Palmigiano

Kazushige Terui

James Raftery

Manuela Busaniche

 

10:30 – 11.00

  

Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao

Marcelo E. Coniglio and Kleidson E. Oliveira

Vito Michele Abrusci and Claudia Casadio

George Metcalfe

Ramon Jansana

Frederik M. Lauridsen

Noemi Lubomirsky, Manuela Busaniche and José Luis Castiglioni

Vicent Costa and Pilar Dellunde

 

11:00 – 11:30

Registration

Coffee Break

Coffee Break

Coffee Break

Coffee Break

 

11:30 – 12:00

Amanda Vidal Wandelmer

Christopher Taylor

Christian Fermüller

Petr Cintula and Carles Noguera

Tuomas Hakoniemi

Joan Gispert

Stefano Bonzio, José Gil-Férez, Francesco Paoli and Luisa Peruzzi

José Luis Castiglioni and Rodolfo C. Ertola-Biraben

 

12:00 – 12:30

Marta Bilkova and Ondrej Majer

Marcelo Esteban Coniglio, Aldo Figallo-Orellano and Ana Claudia Golzio

Francesco Antonio Genco and Agata Ciabattoni

Ricardo Oscar Rodriguez and Lluis Godo

Guram Bezhanishvili, Nick Bezhanishvili and Julia Ilin

Tommaso Flaminio, Sara Ugolini and Lluis Godo

Jose Luis Castiglioni, Sergio Arturo Celani and Hernan Javier San Martin

Miguel Andrés Marcos

 

12:30 – 15:00

Lunch

Lunch

Lunch

Lunch

Lunch

 

15:00 – 16:00

Constantine Tsinakis

Josep Maria Font

Free Afternoon

Yde Venema

   

16:00 – 16:30

Stefano Aguzzoli, Tommaso Flaminio and Sara Ugolini

Almudena Colacito

Tommaso Moraschini

William Javier Zuluaga Botero, Matías Menni and José Luis Castiglioni

    

16:30 – 17:00

Coffee Break

Coffee Break

Coffee Break

   

17:00 – 17:30

Stefano Aguzzoli and Matteo Bianchi

Mauro Ferrari and Camillo Fiorentini

Petr Cintula, José Gil-Férez and Francesco Paoli

Stefano Aguzzoli, Stefania Boffa, Davide Ciucci and Brunella Gerla

17:00 – Open Lecture - Daniele Mundici

   

17:30 – 18:00

Conrado Gomez

Giuseppe Greco and Fan Yang

Roman Kuznets

Roberto Giuntini, Antonio Ledda and Francesco Paoli

   

18:00 – 19:00

Welcome Party

Project Meeting

     

19:00 – 20:00

       

20:00 – 21:00

         

21:00 – ….

      

Social Dinner

   
            
            
            
 

Monday 5

Tuesday 6

Wednesday 7

Thursday 8

Friday 9

 

9:30 – 10:30

  

Alessandra Palmigiano

Kazushige Terui

James Raftery

Manuela Busaniche

 

10:30 – 11.00

  

Constructive canonicity for lattice-based fixed point logics

On 3-valued Paraconsistent Logic Programming

A geometrical representation of Categorial Grammar laws

Order-Based and Continuous Modal Logics

The strong version of a protoalgebraic logic

Some observations regarding cut-free hypersequent calculi for intermediate logics

A representation for the free n-generated algebra Free_n(MV+G)

On Minimal Models for Horn Clauses over Predicate Fuzzy Logics.

 

11:00 – 11:30

Registration

Coffee Break

Coffee Break

Coffee Break

Coffee Break

 

11:30 – 12:00

Undecidability of some product modal logics

Dually pseudocomplemented Heyting algebras: discriminator varieties

Interpreting Sequent Calculi as Client-Server Games

Neighborhood semantics for non-classical logics with modalities

Finitely Protoalgebraic and Finitely Weakly Algebraizable Logics

Almost structural completeness and structural completeness of nilpotent minimum logic

Paraconsistent Weak Kleene Logic and Involutive bisemilattices

Modal operators for meet-complemented lattices

 

12:00 – 12:30

Logics of knowledge and belief of sceptical agents

Multialgebraizing logics by swap structures

Hypersequents and Systems of Rules: An Embedding

Neighborhood Semantics for Many Valued Modal Logics

Embedding Superintuitionistic Logics into Extensions of Lax Logic via Canonical Formulas

Hyperstates on strongly perfect MTL-algebras with cancellative radical

Kleene algebras with implication

NPc-algebras and Gödel hoops

 

12:30 – 15:00

Lunch

Lunch

Lunch

Lunch

Lunch

 

15:00 – 16:00

Constantine Tsinakis

Josep Maria Font

Free Afternoon

Yde Venema

   

16:00 – 16:30

A uniform way to build strongly perfect MTL-algebras via Boolean algebras and prelinear semihoops

A Sequent Calculus for Minimal and Subminimal Logic of Negation

Adjunctions as translations between relative equational consequences

A representation theorem for integral rigs and its applications to residuated lattices

    

16:30 – 17:00

Coffee Break

Coffee Break

Coffee Break

   

17:00 – 17:30

On linear varieties of MTL-algebras

Evaluation Driven Proof-Search in Natural Deduction Calculi for Intuitionistic Propositional Logic

An abstract approach to consequence relations

IUML-algebras of refinements of orthopairs

17:00 – Open Lecture - Daniele Mundici

   

17:30 – 18:00

Poset Product and BL-chains

Structural Multi-type Sequent Calculus for Modal Intuitionistic Dependence Logic

Syntax Meets Semantics to Prove Interpolation

A new view of effects in a Hilbert space

   

18:00 – 19:00

Welcome Party

Project Meeting

     

19:00 – 20:00

       

20:00 – 21:00

         

21:00 – ….

      

Social Dinner

   
            
            
            
 
 



The Welcome Party will be held at the garden of the University of Barcelona on Monday evening (from 6:00 pm), 05 September 2016.
The Social Dinner will be held at the restaurant El Boo on Thursday evening (from 9:00 pm), 08 September 2016.