4 citations · 4 across the 1 of their papers we have counts for
1 paper
Joanna Golińska Pilarek, Taneli Huuskonen, Michał Zawidzki
Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to b…