Results 11 to 20 of about 64,142 (206)
Paraconsistent Many-Valued Logic in GUHA Framework [PDF]
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
Two Principles in Many-Valued Logic [PDF]
, 2014 11 pages.
S. Aguzzoli, V. Marra
openaire +4 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 +4 more sources
A Real-Valued Modal Logic [PDF]
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Denisa Diaconescu +2 more
doaj +4 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 +2 more sources
Consequence and complexity in infinite-valued logic: a survey [PDF]
, 2002 In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. In some cases, formulae up to equivalence form an interesting class of algebraic structures.
V. Marra, D. Mundici
core +1 more source
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
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 +3 more sources
لحظات ثورية قي المنطق العربي [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