Results 211 to 220 of about 8,214,233 (250)
Some of the next articles are maybe not open access.
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
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
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 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
The standard completeness of interval-valued monoidal t-norm based logic
Information Sciences, 2012Chris Cornelis +2 more
exaly
α-Resolution principle based on first-order lattice-valued logic LF(X)
Information Sciences, 2001exaly
TMLNN: triple-valued or multiple-valued logic neural network
IEEE Transactions on Neural Networks, 1998Guoyin Wang
exaly
Characterizing logical consequence in many-valued logic.
J. Log. Comput., 2017Emmanuel Chemla +2 more
openaire +2 more sources
α-Resolution principle based on lattice-valued propositional logic LP(X)
Information Sciences, 2000exaly