Results 1 to 10 of about 8,214,233 (250)
Paraconsistent Many-Valued Logic in GUHA Framework
Acta Informatica Pragensia, 2018 The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation ...
Esko Turunen
doaj +2 more sources
Many-valued coalgebraic logic over semi-primal varieties [PDF]
Logical Methods in Computer ScienceWe study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz +2 more
doaj +3 more sources
On transitive modal many-valued logics [PDF]
Fuzzy Sets and Systems, 2021 This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown that a large family of those logics -- including the ones arising from the standard MV and Product ...
openaire +3 more sources
Many-Valued Logics and Translations
Journal of Applied Non-Classical Logics, 1999 This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propo...
D'Ottaviano, Ítala M. Loffredo +1 more
openaire +4 more sources
Tableau method of proof for Peirce’s three-valued propositional logic
Filosofia Unisinos, 2022 Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar ...
José Renato Salatiel
doaj +1 more source
لحظات ثورية قي المنطق العربي [PDF]
Wadī Al-Nīl Lil Dirāsāt wa Al-Buẖūṯ Al-Insāniyyaẗ wa Al-Iğtimāʿiyyaẗ wa Al-Tarbawiyyaẗ, 2021 لم يکن المنطق متعدد القيم مجرد مرحلة متطورة للمنطق المعاصر ولکن في الحقيقة کان مطلب رئيسي منذ نشأة المنطق الارسطي. حيث ان المنطق الارسطي يتضمن الجهات في جزء منه. والمنطق الجهوي لا يمکن التعبير عنه ألا بمنطق متعدد القيم.
محمد علي خليل المسبکاوي
doaj +1 more source
An approach for linguistic multi-attribute decision making based on linguistic many-valued logic
IJAIN (International Journal of Advances in Intelligent Informatics), 2022 There are various types of multi-attribute decision-making (MADM) problems in our daily lives and decision-making problems under uncertain environments with vague and imprecise information involved.
Anh Phuong Le +3 more
doaj +1 more source
Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
Manuscrito, 2011 The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974).
Paul Weingartner
doaj +1 more source
Bulletin of the Section of Logic, 2020 In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem.
Shokoofeh Ghorbani
doaj +1 more source
NONLINEAR NYBERG CONSTRUCTION TRANSFORMS OVER ISOMORPHIC REPRESENTATIONS OF FIELDS GALOIS
Системный анализ и прикладная информатика, 2017 Further development of cryptographic algorithms based on the principles of many-valued logic requires more accurate research of non-binary cryptographic primitives – S-boxes.
A. V. Sokolov, O. N. Zhdanov
doaj +1 more source