A note on many valued quantum computational logics
Sign Up to like & getrecommendations! Published in 2017 at "Soft Computing"
DOI: 10.1007/s00500-015-1790-6
Abstract: The standard theory of quantum computation relies on the idea that the basic information quantity is represented by a superposition of elements of the canonical basis and the notion of probability naturally follows from the… read more here.
Keywords: valued quantum; many valued; computational logics; note many ... See more keywords
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations
Sign Up to like & getrecommendations! Published in 2020 at "Logica Universalis"
DOI: 10.1007/s11787-020-00263-0
Abstract: The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to… read more here.
Keywords: like proof; non deterministic; many valued; proof systems ... See more keywords
Calculi for Many-Valued Logics
Sign Up to like & getrecommendations! Published in 2021 at "Logica Universalis"
DOI: 10.1007/s11787-021-00274-5
Abstract: We present a number of equivalent calculi for many-valued logics and prove soundness and strong completeness theorems. The calculi are obtained from the truth tables of the logic under consideration in a straightforward manner and… read more here.
Keywords: calculi many; valued logics; many valued;
Graded Many-Valued Modal Logic and Its Graded Rough Truth
Sign Up to like & getrecommendations! Published in 2022 at "Axioms"
DOI: 10.3390/axioms11070341
Abstract: 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).… read more here.
Keywords: valued modal; many valued; graded many; modal logic ... See more keywords