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.

• Jose Luis Castiglioni, Sergio Arturo Celani and Hernan Javier San Martin. Kleene algebras with implication. [SLIDES]
• Francesco Antonio Genco and Agata Ciabattoni. Hypersequents and Systems of Rules: An Embedding. [SLIDES]
• William Javier Zuluaga Botero, Matías Menni and José Luis Castiglioni. A representation theorem for integral rigs and its applications to residuated lattices.[SLIDES]
• Tommaso Moraschini. Adjunctions as translations between relative equational consequences.[SLIDES]
• Roman Kuznets. Syntax Meets Semantics to Prove Interpolation. [SLIDES]
• Vicent Costa and Pilar Dellunde. On Minimal Models for Horn Clauses over Predicate Fuzzy Logics.[SLIDES]
• Christian Fermüller. Interpreting Sequent Calculi as Client-Server Games.[SLIDES]
• Roberto Giuntini, Antonio Ledda and Francesco Paoli. A new view of effects in a Hilbert space.[SLIDES]
• Joan Gispert. Almost structural completeness and structural completeness of nilpotent minimum logic.[SLIDES]
• Almudena Colacito. A Sequent Calculus for Minimal and Subminimal Logic of Negation.[SLIDES]
• Petr Cintula and Carles Noguera. Neighborhood semantics for non-classical logics with modalities.[SLIDES]
• Noemi Lubomirsky, Manuela Busaniche and José Luis Castiglioni. A representation for the free n-generated algebra Free_n(MV+G).[SLIDES]
• Conrado Gomez. Poset Product and BL-chains.[SLIDES]
• George Metcalfe. Order-Based and Continuous Modal Logics.[SLIDES]
• Stefano Bonzio, José Gil-Férez, Francesco Paoli and Luisa Peruzzi. Paraconsistent Weak Kleene Logic and Involutive bisemilattices.[SLIDES]
• Petr Cintula, José Gil-Férez, Francesco Paoli and Tommaso Moraschini. An abstract approach to consequence relations.[SLIDES]
• Stefano Aguzzoli and Matteo Bianchi. On linear varieties of MTL-algebras.[SLIDES]
• Mauro Ferrari and Camillo Fiorentini. Evaluation Driven Proof-Search in Natural Deduction Calculi for Intuitionistic Propositional Logic.[SLIDES]
• José Luis Castiglioni and Rodolfo C. Ertola-Biraben. Modal operators for meet-complemented lattices.[SLIDES]
• Stefano Aguzzoli, Stefania Boffa, Davide Ciucci and Brunella Gerla. IUML-algebras of refinements of orthopairs.[SLIDES]
• Christopher Taylor. Dually pseudocomplemented Heyting algebras: discriminator varieties.[SLIDES]
• Frederik M. Lauridsen. Some observations regarding cut-free hypersequent calculi for intermediate logics.[SLIDES]
• Ramon Jansana. The strong version of a protoalgebraic logic.[SLIDES]
• Miguel Andrés Marcos. NPc-algebras and Gödel hoops.[SLIDES]
• Ricardo Oscar Rodriguez and Lluis Godo. Neighborhood Semantics for Many Valued Modal Logics.[SLIDES]
• Marcelo Esteban Coniglio, Aldo Figallo-Orellano and Ana Claudia Golzio. Multialgebraizing logics by swap structures.[SLIDES]
• Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics.[SLIDES]
• Vito Michele Abrusci and Claudia Casadio. A geometrical representation of Categorial Grammar laws.[SLIDES]
• Angela P. Rodrigues Moreira, Itala M. L. D'Ottaviano and Hércules De Araújo Feitosa. About some Categories of Translations between Logics.
• Marcelo E. Coniglio and Kleidson E. Oliveira. On 3-valued Paraconsistent Logic Programming.[SLIDES]
• Tommaso Flaminio, Sara Ugolini and Lluis Godo. Hyperstates on strongly perfect MTL-algebras with cancellative radical.[SLIDES]
• Tuomas Hakoniemi. Finitely Protoalgebraic and Finitely Weakly Algebraizable Logics.[SLIDES]
• Stefano Aguzzoli, Tommaso Flaminio and Sara Ugolini. A uniform way to build strongly perfect MTL-algebras via Boolean algebras and prelinear semihoops.[SLIDES]
• Giuseppe Greco and Fan Yang. Structural Multi-type Sequent Calculus for Modal Intuitionistic Dependence Logic.[SLIDES]
• Amanda Vidal Wandelmer. Undecidability of some product modal logics.[SLIDES]
• Guram Bezhanishvili, Nick Bezhanishvili and Julia Ilin. Embedding Superintuitionistic Logics into Extensions of Lax Logic via Canonical Formulas.[SLIDES]
• Marta Bilkova and Ondrej Majer. Logics of knowledge and belief of sceptical agents.[SLIDES]

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.