Advertisement

Formative Processes

Chapter

Abstract

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.

Preview

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