Results 251 to 260 of about 10,516 (283)
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
From Intuitionism to Many-Valued Logics Through Kripke Models
Logic, Epistemology, and the Unity of Science, 2021Saeed Salehi, Salehi Saeed
exaly
Measuring inconsistency with many-valued logics
International Journal of Approximate Reasoning, 2017Matthias Thimm
exaly
K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
Synthese Library, 2020Francis Jeffry Pelletier +1 more
exaly
On the relationship between fuzzy description logics and many-valued modal logics
International Journal of Approximate Reasoning, 2018Marco Cerami +2 more
exaly
Expressivity of Many-Valued Modal Logics, Coalgebraically
Lecture Notes in Computer Science, 2016Marta Bilková
exaly