The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins

Shramko, Y.; Zaitsev, D.; Belikov, A.

Статья опубликована в высокорейтинговом журнале

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

Авторы: Shramko Y., Zaitsev D., Belikov A.
Журнал: Journal of Philosophical Logic
Том: 48
Номер: 5
Год издания: 2019
Издательство: Springer Nature
Местоположение издательства: Switzerland
Первая страница: 787
Последняя страница: 808
DOI: 10.1007/s10992-018-9494-x
Аннотация: n this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. Keywords First-degree entailment Exactly true logic Non-falsity logic Fmla-Fmla logical framework Bi-consequence system
Добавил в систему: Зайцев Дмитрий Владимирович

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

ИСТИНА

Интеллектуальная Система Тематического Исследования НАукометрических данных

The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousinsстатья Исследовательская статья

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