Ada Lovelace Day 2020: Andrea Loparic

This year I want to celebrate a female logician from Brazil that I admire a lot. There are many female logicians from Brazil that I admire and I am always worried that choosing any one of them to start from might cause difficulties with the others. This is a reasonable worry, methinks.

But I am taking a leaf from Tim Gowers' book.  Gowers was the person who initiated the boycotting of Elsevier in 2011. When people asked him why he was singling out Elsevier as a bad  player and boycotting them instead of, say, Springer, he replied that the boycott had to start somewhere and that Elsevier were really egregious in the behavior. Dualizing all these bad things, it seems clear that, if I am going to celebrate several female logicians from Brazil, I might as well start with Andrea Loparic, as she is definitely and clearly very good.

Phil Papers has only four of her papers, so far:

1. Semantical Analysis of Arruda da Costap Systems and Adjacent Non-Replacement Relevant Systems.Richard Routley & Andréa Loparić - 1978 - Studia Logica 37 (4):301 - 320.
   
   
2.  12
   Two Systems of Deontic Logic.Andréa Loparic & L. Puga - 1986 - Bulletin of the Section of Logic 15 (4):137-141.
     
3.  17
   Valuation Semantics for Intuitionic Propositional Calculus and Some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
   In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi. DOI:10.5007/1808-1711.2010v14n1p125.

    
4.  15
   The Method of Valuations in Modal Logic.Andréa Loparic - 1978 - Bulletin of the Section of Logic 7 (2):91-91.
   
   

   (Google Scholar has more, but it's difficult to know which ones are hers)

   
   

   I really would like to do some logic work with her and we kind of started something. We were checking out the Kleene constructive propositional theorems. For me this was the basis of the project to benchmark linear logic, described in 

   
   

   Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis. The ILLTP Library for Intuitionistic Linear Logic. arXiv preprint arXiv:1904.06850, 01 February 2019. after Linearity 2018. [PDF] 

    

   She told me that she had taught these exercises in Kleene's book so many times that it would be easy to reproduce their proofs. I still want those proofs, but I'd prefer them in ND or sequent calculus, instead of axiomatic proofs. 

   
   

   I am told that Andrea will not like this celebration, as she apparently does not approve of feminist claims and demands and Ada Lovelace is about demanding that attention be paid to our  achievements. I hope this is not so, or that at least, she's amused, instead of irritated by the celebration!