Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление высказываний \ Импликативные пропозициональные исчисления \ Импликативные пропозициональные исчисления из книги Е. Расевой \

9.6.2.3.5.1.2. Implicative algebras ©

9.6.2.3.5.1.2.1. Introduction      9.6.2.3.5.1.2.2. Definition and elementary properties
9.6.2.3.5.1.2.3. Positive implication algebras      9.6.2.3.5.1.2.4. (Classical) Implication Algebras