Cтраница 4
В этот период создаются фундаментальные логические системы - классические исчисление высказываний и исчисление предикатов. В связи с задачами обоснования математики наряду с работами в области классической логики разрабатывается конструктивная логика. С анализом оснований логики связаны исследования по комбинаторной логике. Создается теория многозначных логик. Попытки решить проблему формализации логического следования приводят к созданию исчислений строгой и сильной импликации. Закладываются основы модальной логики. [46]
Для сигнализации и связи логической системы с датчиками используются дискретные электропневмо - и пневмоэлектропреобразователи. [47]
Принципы математического моделирования химяко-техно логических систем. [48]
Это верно для большинства обычных логических систем, но некоторые из названных средств могут отсутствовать у отдельных систем. Например, интенсиональные логики Монтегю [76] лишены системы вывода. [49]
Электрическая схема, являющаяся частью логической системы и часто называемая логическим устройством. Логическая схема необходима для выработки определенных двоичных выходных сигналов в ответ на определенные двоичные входные сигналы. Она может быть реализована с помощью логических вентилей ( L. Однако входы логических схем могут быть представлены и как адресные входы ПЗУ ( R. [50]
Я не пытаюсь развить логическую систему гипотез, а стремлюсь толь ко дать формулировку ряда взаимно согласованных ( а может быть даже и несогласованных; см, ниже квар ковые гипотезы) представлений. [51]