Results 11 to 20 of about 1,708 (245)
Many-valued hybrid logic [PDF]
Journal of Logic and Computation, 2015 In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is proof theoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
Jens Ulrik Hansen +2 more
openaire +6 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
The Law of Excluded Middle and the Negation of it in many-valued and Fuzzy Logics [PDF]
حکمت و فلسفه, 2008 The philosophical critiques, in twentieth century, on binary paradigm caused the negation of the law of excluded middle as the same as it caused the establishment of many-valued logics and fuzzy logic, while the laws of excluded middle, identity and ...
morteza haj hoseyni
doaj +1 more source
Towards a Proof Theory of G\"odel Modal Logics [PDF]
Logical Methods in Computer Science, 2011 Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic.
George Metcalfe, Nicola Olivetti
doaj +1 more source
Paraconsistentization and many-valued logics
Logic Journal of the IGPL, 2022 Abstract This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.
Edelcio Gonçalves de Souza +2 more
openaire +2 more sources
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Bulletin of the Section of Logic, 2022 The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism.
Juan Manuel Cornejo +1 more
doaj +1 more source
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
Manuscrito, 2019 In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj +1 more source
A nonlinear approach for neutrosophic linear programming [PDF]
Journal of Applied Research on Industrial Engineering, 2019 Traditional linearl programming usually handles optimization problems involving deterministic objective functions and/or constrained functions. However, uncertainty also exists in real problems.
Seyed Ahmad Edalatpanah
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2020 In this paper we investigate some isomorphism theorems in EQ-algebras. After establishing some basic results we give the Fundamental Homomorphism Theorem and by using it we state and prove some other isomorphism theorems.
Bakhshi M., Khavari M.R., Nazifi M.
doaj +1 more source