1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic 50(2), 510–530 (1985)
2. Bochvar, D.A.: On a three valued calculus and its application to the analysis of contradictories. Matematicheskii Sbornik 4(2), 287–308 (1939)
3. Carnap, R.: Introduction to Semantics. Harvard University Press, Cambridge (1942)
4. Carnap, R.: Formalization of Logic. Harvard University Press, Cambridge (1943)
5. Citkin, A.: A meta-logic of inference rules: syntax. Log. Log. Philos. 24(3), 313–337 (2015)