ПОИСК Статьи Чертежи Таблицы ЛОГИКИ НЕКЛАССИЧЕСКИЕ - общее название логических систем, в которых иначе, чем в классической логике, истолковываются операции отрицания, конъюкции, дизъюнкции, импликации и кванторов, а иногда добавляются новые логические операции («необходимо», «{возможно», «разрешено», «запрещено», «будет случай, что ...» и другие). Задаются посредством задания многозначной интерпретации логических формул, при которой некоторые значения объявляются вьщеленными (они соответствуют значению «истинно» в классической логике), либо с помощью исчисления, т.е. задания аксиом и правил, позволяющих выводить из аксиом все формулы, верные в данной Л Н Как правило» Л Н согласованы с классической логикой в том смысле, что все формулы, верные в какой-либо Л Н и содержащие лишь связки логические классической логики, то>ццественно [Выходные данные]