• SQEMA

  • Referenced in 40 articles [sw03056]
  • formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity...
  • Pesca

  • Referenced in 164 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...