The Method of Socratic Proofs Meets Correspondence Analysis

Leszczyńska-Jasion, D.; Petrukhin, Y.; Shangin, V.

Информация о цитировании статьи получена из Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.

Авторы: Leszczyńska-Jasion Dorota, Petrukhin Yaroslav, Shangin Vasilyi
Журнал: Bulletin of the section of logic
Том: 48
Номер: 2
Год издания: 2019
Первая страница: 99
Последняя страница: 116
DOI: 10.18778/0138-0680.48.2.02
Аннотация: The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic (i.e. pertaining to the logic of questions) calculi which constitute the method of Socratic proofs by Andrzej Wi´sniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga’s technique for designing proof systems. In this paper it is used to consider sequent calculi with nonbranching (the only exception being the rule of cut), invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions.
Добавил в систему: Петрухин Ярослав Игоревич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ИНХС РАН

The Method of Socratic Proofs Meets Correspondence Analysisстатья

Прикрепленные файлы