# Search results

Semina Scientiarum > 2012 > 11

Bulletin of the Section of Logic > 2020 > 49 > 3 > 291-324

Soft Computing > 2019 > 23 > 24 > 12929- 12935

*Gödel*–

*MV-algebra*(

*GMV*-

*algebra*) such that $$(A, \otimes , \oplus , *, 0, 1)$$ ( A , ⊗ , ⊕ , ∗ , 0 , 1 ) is

*MV*-algebra; $$(A,\vee , \wedge ,\rightharpoonup , 0, 1)$$ ( A , ∨ , ∧...

Journal of Logic, Language and Information > 2019 > 28 > 3 > 389-426

Logica Universalis > 2018 > 12 > 1-2 > 83-100

*k*-valued ($$k\geqslant 3$$ k⩾3 ) logics as well as for all Dual Post’s

*k*-valued logics.

Progress in Biophysics and Molecular Biology > 2017 > 131 > C > 348-353

Quantum Studies: Mathematics and Foundations > 2018 > 5 > 2 > 351-355

Axiomathes > 2018 > 28 > 2 > 201-217

*imaginary*Vasil’ev’s logic, extends to the early variant of his logic—a logic of

*notions*....

Archive for Mathematical Logic > 2018 > 57 > 3-4 > 361-380

Archive for Mathematical Logic > 2017 > 56 > 5-6 > 585-605

Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1011-1037

Journal of Philosophical Logic > 2017 > 46 > 4 > 419-441

*The Boolean many-valued approach*to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity (or 0) and truth (or 1), but while the fuzzy-logic approach postulates linearly-ordered values (or ‘degrees’) between 0 and 1, the Boolean approach...

Journal of Applied Logic > 2016 > 16 > C > 111-127

Lecture Notes in Computer Science > Computational Science — ICCS 2003 > Track on Applications > 109-119

Lecture Notes in Computer Science > Logics in Artificial Intelligence > Reasoning under Uncertainty > 283-295

*nuanced information*expressed in an affirmative form like “x is

*m*∞ A”. In this model,

*nuanced information*are represented in a qualitative way within a symbolic context. For that purpose, vague terms and linguistic modifiers that operate on them are defined. The model presented is based on a symbolic M-valued predicate logic and provides a new deduction...