Formative Processes

  • Domenico Cantone
  • Pietro Ursino


As seen in the previous chapter, in the case of S-formulae, classical satisfiability by set assignments is equivalent to satisfiability by partitions (cf. Lemma 2.18). In fact, we can further restrict ourselves to satisfiability by 𝒫 -partitions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Dipartimento di Matematica e InformaticaUniversità degli Studi di CataniaCataniaItaly
  2. 2.Dipartimento di Fisica e MatematicaUniversità degli Studi dell’InsubriaComoItaly

Personalised recommendations