Studia Logica

, Volume 51, Issue 2, pp 195–214

Quantified extensions of canonical propositional intermediate logics

  • Silvio Ghilardi
Article

DOI: 10.1007/BF00370113

Cite this article as:
Ghilardi, S. Stud Logica (1992) 51: 195. doi:10.1007/BF00370113

Abstract

The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category.

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Silvio Ghilardi
    • 1
  1. 1.Dipartimento di Matematica “F. Enriques”Università Degli Studi di Milano via CMilanoItaly