Quantified extensions of canonical propositional intermediate logics
- Cite this article as:
- Ghilardi, S. Stud Logica (1992) 51: 195. doi:10.1007/BF00370113
- 38 Downloads
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.
© Kluwer Academic Publishers 1992