Structures in Crisis: A Narrative Approach to Asghar Farhadi’s Films

This paper proposes an exploration of the films of Iranian director Asghar Farhadi. It employs a methodology based on textual analysis, focusing specifically on the structural design of his films and the focalization processes of his scripts. It shows how Farhadi’s work can be understood as a coherent research project with a uniquely solid model based on chronological linearity as a way to explore the violent breakdown of different emotional communities: families, marriages, groups of friends, etc. At the same time, it considers how all the focalization processes in his films are oriented toward two main concepts: knowledge (of the characters, but also of the audience) and pain (of living in a [narrative] world afflicted by meaninglessness)

A Sequent Calculus for Modelling Interferences

A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in proof search. The calculus includes two new connectives to deal with multisequent structures and has the cut-elimination property. Extensions are proposed that give first results concerning our objectives

Sub-creating Arda (2019), edited by Dimitra Fimi and Thomas Honegger

Book review by Dennis Wilson Wise of Sub-creating Arda (2019), edited by Dimitra Fimi and Thomas Honegge

Undecidability of Multiplicative Subexponential Logic

Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponential has or lacks associated structural properties of weakening and contraction. We show that classical propositional multiplicative linear logic extended with one unrestricted and two incomparable linear subexponentials can encode the halting problem for two register Minsky machines, and is hence undecidable.Comment: In Proceedings LINEARITY 2014, arXiv:1502.0441