Значения слова Батенс. Что такое Батенс?

Слово состоит из 6 букв: первая б, вторая а, третья т, четвёртая е, пятая н, последняя с,

Слово батенс английскими буквами (транслитом) - batens

ПАРА НЕПРОТИВОРЕЧИВАЯ

ПАРА НЕПРОТИВОРЕЧИВАЯ ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора—возле, вне) — класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места.В свою очередь Д. Батенс (1980) берет позитивный фрагмент классической пропозициональной логики и определяет отрицание условием (i). Тогда аксиоматизация получается посредством добавления...

Философская энциклопедия