Many-valued logics - Open Access .click

Results 241 to 250 of about 7,701,760 (276)

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

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

R-Calculus, II: Many-Valued Logics

Perspectives in Formal Induction, Revision and Evolution, 2022
Yuefei Sui
exaly

Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case

Electronic Notes in Theoretical Computer Science, 2020
Marcelo Esteban Coniglio
exaly

An Interpretation of Many‐Valued Logic

Mathematical Logic Quarterly, 1973
openaire +1 more source

Four-Valued Paradefinite Logics

Studia Logica, 2017
Arnon Avron, Ofer Arieli
exaly

Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics

Logica Universalis, 2017
Yaroslav Petrukhin
exaly

Characterizing logical consequence in many-valued logic.