|
Semantic characterization of certain sets of intuitionistic logical connectives
A. D. Yashin
Received: 04.01.1987
Citation:
A. D. Yashin, “Semantic characterization of certain sets of intuitionistic logical connectives”, Mat. Zametki, 45:5 (1989), 103–113; Math. Notes, 45:5 (1989), 420–428
Linking options:
https://www.mathnet.ru/eng/mzm3492 https://www.mathnet.ru/eng/mzm/v45/i5/p103
|
|