直観主義論理の意味論
Heyting代数
:
Heyting代数による直観主義論理の意味論
Kripke意味論
:
Kripke意味論による直観主義論理の意味論
位相的意味論
?