In this paper, we extend the generalized weighted geometric and generalized ordered weighted geometric operators to intuitionistic fuzzy environments, that is, we develop a series of generalized ...

Yuta Takahashi, Ryo Takemura, Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms, Journal of Philosophical Logic, Vol. 48, No. 3 (June 2019 ...