Results 31 to 40 of about 64,142 (206)

A SYNTHESIS METHOD OF BASIC TERNARY BENT-SQUARES BASED ON THE TRIAD SHIFT OPERATOR

Системный анализ и прикладная информатика, 2017
Practical application of advanced algebraic constructions in modern communication systems based on MC-CDMA (Multi Code Code Division Multiple Access) technology and in cryptography necessitates their further research.
O. N. Zhdanov, A. V. Sokolov
doaj   +1 more source

Finite-valued approximations of product logic [PDF]

, 2000
In this paper we shall propose a method for the reduction of the problem of decidability in propositional infinite-valued Product Logic to suitably determined finite-valued approximating logics.
Stefano Aguzzoli, AGUZZOLI S, GERLA, BRUNELLA, Brunella Gerla   +3 more
core   +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

THE CLASS OF PERFECT TERNARY ARRAYS

Системный анализ и прикладная информатика, 2018
In recent decades, perfect algebraic constructions are successfully being use to signal systems synthesis, to construct block and stream cryptographic algorithms, to create pseudo-random sequence generators as well as in many other fields of science and ...
A. V. Sokolov, O. N. Zhdanov
doaj   +1 more source

Fractional-Valued Modal Logic and Soft Bilateralism

Bulletin of the Section of Logic, 2023
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza, Gabriele Pulcini, Matteo Tesi   +2 more
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

Boolean-valued second-order logic [PDF]

, 2015
In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the ...
Väänänen, J., Ikegami, D.
core   +1 more source

A characterization of adjunction in a many-valued modal system

CQD Revista Eletrônica Paulista de Matemática
Galois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa, Romulo Albano de Freitas   +1 more
doaj   +1 more source

MacColl’s Modes of Modalities

Philosophia Scientiæ, 2011
Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood.
Fabien Schang
doaj   +1 more source

Many-valued logic: beyond algebraic semantics [PDF]

, 2012
Editorial for the special issue on "Many-valued logic: beyond algebraic ...
marra v., GERLA, BRUNELLA, Aguzzoli s
core   +1 more source