Results 231 to 240 of about 50,581 (256)

On the Many-Valued Logics

American Journal of Physics, 1941
openaire   +1 more source

Many-Valued Logic

1981
The term ‘many-valued logic’ is most often used to denote logics which are constructed by means of introduction of additional truth-values, while classical logic is construed as a two-valued logic (cf. “Sentence logic” §1.1).
openaire   +1 more source

An Interpretation of Many‐Valued Logic

Mathematical Logic Quarterly, 1973
openaire   +1 more source

Many-valued Logic

1986
Many-valued logic is a vast field with hundreds of published papers and over ten monographs devoted to it. I have attempted to keep this survey to manageable length by focussing on many-valued logic as an independent discipline. This means that such topics as the use of many-valued logics for proving the independence of axioms in propositional logic ...
openaire   +1 more source

Many-valued tableau calculi for decision logic based on approximation regions in VPRS

International Journal of Reasoning-based Intelligent Systems, 2021
Yotaro Nakayama, Seiki Akama, Tetsuya Murai   +2 more
exaly  

FE classification of functions of many-valued logic

Moscow University Computational Mathematics and Cybernetics, 2011
S S Marchenkov, Marchenkov S S
exaly  

Application of Multithreshold Elements in the Realization of Many-Valued Logic Networks

IEEE Transactions on Computers, 1974
Z G Vranešić, A S Sedra
exaly  

Prospects for the Application of Many-Valued Logic Functions in Cryptography

Advances in Intelligent Systems and Computing, 2019
A V Sokolov, Oleg Zhdanov
exaly  

MANY‐VALUED LOGICS*

School Science and Mathematics, 1941
openaire   +2 more sources

Characterizing logical consequence in many-valued logic.

J. Log. Comput., 2017
Emmanuel Chemla, Paul Égré, Benjamin Spector   +2 more
openaire   +2 more sources