Buscar
Mostrando ítems 21-30 de 56
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(Oxford Univ PressOxford, 2016)
Expanding With A Boolean Connective
(SpringerNew York, 2017)
Of madness and many-valuedness: an investigation into Suszko's Thesis
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA, 2015-09-04)
Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The ...
Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic
(Elsevier Science, 2017-08)
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators ∀ and ∃. After a study of the basic properties of this variety we show that this class is the equivalent ...
Many-valued Logics And Translations
(, 1999)
Inconsistency-tolerant query answering for existential rules
(Elsevier Science, 2022-06)
Querying inconsistent knowledge bases is an intriguing problem that gave rise to a flourishing research activity in the knowledge representation and reasoning community during the last years. It has been extensively studied ...
Establishing connections between Aristotle's natural deduction and first-order logic
This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and ...