Results 11 to 20 of about 1,395,634 (216)
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
Skolemization and Herbrand theorems for lattice-valued logics [PDF]
Theoretical Computer Science, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petr Cintula +2 more
openaire +7 more sources
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +2 more sources
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations [PDF]
Bulletin of the Section of Logic, 2020 Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique (up to isomorphism) conjunctive matrix ℳ4 with exactly two distinguished values over an expansion 𝔄4 of a De Morgan non-Boolean four-valued ...
Alexej P. Pynko
doaj +3 more sources
HH∗−intuitionistic heyting valued Ω-algebra and homomorphism [PDF]
Journal of Hyperstructures, 2017 Intuitionistic Logic was introduced by L. E. J. Brouwer in[1] and Heyting algebra was defined by A. Heyting to formalize the Brouwer’s intuitionistic logic[4]. The concept of Heyting algebra has been accepted as the basis for intuitionistic propositional
Sinem Tarsuslu(Yılmaz) +1 more
doaj +1 more source
On Neutrosophic Vague Binary BZMZ^dM Sub-algebra of BZMZ^dM-algebra in Neutrosophic Vague Binary Sets [PDF]
Neutrosophic Sets and Systems, 2021 In Model theory, common algebraic structures found are Lattices and Boolean Algebras. In the broad field of research, various algebraic structures can be introduced for a set. BCK, BCI, BCH, BH etc. are some of them.
P. B. Remya, A. Francina Shalini
doaj +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Turing machines based on unsharp quantum logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In this paper, we consider Turing machines based on unsharp quantum logic. For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic Turing machines (EDTMs ...
Yun Shang, Xian Lu, Ruqian Lu
doaj +1 more source
Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications
Mathematics, 2021 This paper provides a brief overview of modern applications of nonbinary logic models, where the design of heterogeneous computing systems with small computing units based on three-valued logic produces a mathematically better and more effective solution
Elmira Yu. Kalimulina
doaj +1 more source
Criterion of Completeness and Submaximal Ultraclones for Linear Hyperfunctions of Rank 2
Известия Иркутского государственного университета: Серия "Математика", 2023 In recent years, the direction associated with the study of maps from a finite set A to the set of all subsets of the set A, including the empty one, has been intensively developing. Such mappings are called multifunctions on A, as well as hyperfunctions
I.K. Sharankhaev
doaj +1 more source