Results 1 to 10 of about 816,807 (142)
Paradoxes in scientific cognition and nonclassical logics
Философская мысль, 2020 The subject of this research is the scientific paradoxes and such means for its resolution as nonclassical logics. The author defends a thesis that paradoxes often stimulate the scientific development.
Boris Leonidovich Iashin
semanticscholar +3 more sources
From Axioms to Analytic Rules in Nonclassical Logics [PDF]
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automated generation of analytic calculi for a wide range of prepositional nonclassical logics including intermediate, fuzzy and substructural logics.
A. Ciabattoni +2 more
semanticscholar +2 more sources
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification [PDF]
The Bulletin of Symbolic Logic, 2019 After a brief introductory survey, the thesis is divided into two parts. The first part deals with the presence of probability in logic (see [3–7, 9, 10]), and the second one is devoted to the application of the concept of entropy in classification of many-
M. Boricic
semanticscholar +2 more sources
NONCLASSICAL LOGICS IN RULE-BASED SYSTEM VERIFICATION PROBLEM
Информационные и математические технологии в науке и управлении, 2020 Работа посвящена обсуждению вопросов применимости неклассических логических исчислений к задаче верификации продукционных баз знаний. Рассмотрены возможности некоторых трёхзначных, четырёхзначных, а также нечётких логик.
М.С. Нитежук +1 more
semanticscholar +3 more sources
Polyadic algebras over nonclassical logics [PDF]
Banach Center Publications, 1993 . The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)’s were considered by H. Rasiowa [19] and include classical and
D. Pigozzi, A. Salibra
semanticscholar +3 more sources
Fibered universal algebra for first-order logics [PDF]
Journal of Pure and Applied Algebra, 2022 We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing"algebraic"semantics for nonclassical first-order logics.
Colin Bloomfield, Yoshihiro Maruyama
semanticscholar +1 more source
On the Costs of Nonclassical Logic [PDF]
Journal of Philosophical Logic, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Halbach, Volker, Nicolai, Carlo
openaire +5 more sources
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
A recovery operator for non-transitive approaches [PDF]
, 2018 In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes.
Barrio, Eduardo Alejandro +2 more
core +1 more source
On the Concept of a Notational Variant [PDF]
, 2017 In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro +14 more
core +1 more source