Results 11 to 20 of about 1,435,923 (372)
Electronic Proceedings in Theoretical Computer ScienceWe combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the many-valued minimal normal modal logic, presented as a Gentzen-like sequent calculus, and prove its soundness and
Karniel, Amir, Kaminski, Michael
openaire +3 more sources
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.
Hansen, Jens Ulrik +2 more
openaire +3 more sources
PROBABILISTIC VARIANTS OF RENYI-ULAM ´ GAME AND MANY-VALUED LOGIC
TASK Quarterly, 2005 In this paper we discuss some generalizations of R´enyi-Ulam game with lies: some of them are simply probabilistic variants of it, some others differ from it by the presence of more than one number to guess.
CLAUDIO MARINI, FRANCO MONTAGNA
doaj +1 more source
Sequents in many valued logic II [PDF]
Fundamenta Mathematicae, 1967 G. Rousseau
openaire +4 more sources
A Many-valued Logic for Lexicographic Preference Representation
International Conference on Principles of Knowledge Representation and Reasoning, 2021 We introduce lexicographic logic, an extension of propositional logic that can represent a variety of preferences, most notably lexicographic ones. The proposed logic supports a simple new connective whose semantics can be defined in terms of finite ...
A. Charalambidis +3 more
semanticscholar +1 more source
ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Manuscrito, 2023 In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems.
JOSÉ RENATO SALATIEL
doaj +1 more source
A Variant of Material Connexive Logic
Bulletin of the Section of Logic, 2021 The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic.
Alexander Belikov, Dmitry Zaitsev
doaj +1 more source
Graded Many-Valued Modal Logic and Its Graded Rough Truth
Axioms, 2022 Much attention is focused on the relationship between rough sets and many-valued modal logic to deal with approximate reasoning. This paper discusses the graded modal logic and puts forward the graded many-valued modal logic G(S5). Secondly, by employing
Jiansheng Li, Zengtai Gong
doaj +1 more source
Classical Logic with n Truth Values as a Symmetric Many-Valued Logic
Foundations of Science, 2020 We introduce Boolean-like algebras of dimension n ( $$n{\mathrm {BA}}$$ n BA s) having n constants $${{{\mathsf {e}}}}_1,\ldots ,{{{\mathsf {e}}}}_n$$ e 1 , … , e n , and an $$(n+1)$$ ( n + 1 ) -ary operation q (a “generalised if-then-else”) that induces
A. Salibra +3 more
semanticscholar +1 more source
Chisholm’s modal paradox: two approaches examined
Perspectiva Filosófica, 2021 This paper is organized in the following way: the first section puts forward the version of Chisholm’s Modal Paradox that is going to be taken into consideration.
Fernando Fabricio Rodrigues Furtado
doaj +1 more source