--- /dev/null
+package com.example.furt.myapplication;
+
+import java.util.List;
+/**Formula:interfaccia per l'implementazione di formule logiche. Prevede metodi per
+ * l'applicazione delle regole e per la gestione dell'editor guidato per l'inserimento.**/
+public interface Formula extends FView{
+ public List<IntroductionRule> introductionRules();
+ public List<EliminationRule> EliminationRules();
+ public boolean Fill(Formula F);
+ public boolean setCursor();
+ public Formula duplicate();
+}
+