Works matching DE "LUKASIEWICZ algebras"

Results: 102

ON 2-GENERATED FREE S<sup>ω</sup><sub>1</sub> -ALGEBRAS.

Published in:

Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics, 2020, n. 34, p. 19

By:

Nola, Antonio Di;
Grigolia, Revaz;
Liparteliani, Ramaz

Publication type:

Article

Mutually Exclusive Nuances of Truth in Moisil Logic.

Published in:

Scientific Annals of Computer Science, 2015, v. 25, n. 1, p. 69, doi. 10.7561/SACS.2015.1.69

By:

DIACONESCU, Denisa;
LEUŞTEAN, Ioana

Publication type:

Article

An Infinite Family of Adsorption Models and Restricted Lukasiewicz Paths.

Published in:

Journal of Statistical Physics, 2011, v. 145, n. 3, p. 669, doi. 10.1007/s10955-011-0306-8

By:

Brak, R.;
Iliev, G.;
Prellberg, T.

Publication type:

Article

FUZZY SIMILARITY AND MEASURE OF SIMILARITY WITH LUKASIEWICZ IMPLICATOR.

Published in:

New Mathematics & Natural Computation, 2008, v. 4, n. 2, p. 191, doi. 10.1142/S1793005708000994

By:

BEG, ISMAT;
ASHRAF, SAMINA

Publication type:

Article

SOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF ŁUKASIEWICZ LOGIC.

Published in:

Iranian Journal of Fuzzy Systems, 2016, v. 13, n. 7, p. 153

By:

SAYED, O. R.;
BORZOOEI, R. A.

Publication type:

Article

ALGEBRAIC PROPERTIES OF INTUITIONISTIC FUZZY RESIDUATED LATTICES.

Published in:

Iranian Journal of Fuzzy Systems, 2016, v. 13, n. 2, p. 95

By:

GHANAVIZI MAROOF, F.;
ESLAMI, R.

Publication type:

Article

Unified forms of the CDR method of approximate reasoning on Antanassov's intuitionistic fuzzy sets and its property analysis.

Published in:

Computational Intelligence, 2018, v. 34, n. 4, p. 1101, doi. 10.1111/coin.12170

By:

Li, Jun;
Xu, Xiaofu

Publication type:

Article

Coding B-Frames of Color Videos with Fuzzy Transforms.

Published in:

Advances in Fuzzy Systems, 2013, p. 1, doi. 10.1155/2013/652429

By:

Di Martino, Ferdinando;
Sessa, Salvatore

Publication type:

Article

Paradoxes of Logical Equivalence and Identity.

Published in:

Topoi: An International Review of Philosophy, 2015, v. 34, n. 1, p. 89, doi. 10.1007/s11245-013-9193-8

By:

Bacon, Andrew

Publication type:

Article

Formal Axiomatic Theories Based on a Three-Valued Logic.

Published in:

Journal of Mathematical Sciences, 2005, v. 130, n. 2, p. 4578, doi. 10.1007/s10958-005-0353-2

By:

Zaslavsky, I.

Publication type:

Article

Proof theory of witnessed Gödel logic: A negative result.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018

By:

BAAZ, MATTHIAS;
CIABATTONI, AGATA

Publication type:

Article

On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 3, p. 429, doi. 10.1093/logcom/exp012

By:

FLAMINIO, TOMMASO

Publication type:

Article

A Compact [0,1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 3, p. 509, doi. 10.1093/logcom/exp017

By:

MUNDICI, DANIELE

Publication type:

Article

Bases of Admissible Rules of Łukasiewicz Logic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 6, p. 1149, doi. 10.1093/logcom/exp082

By:

JEŘÁBEK, EMIL

Publication type:

Article

Admissible Rules of Łukasiewicz Logic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 2, p. 425, doi. 10.1093/logcom/exp078

By:

JEŘÁBEK, EMIL

Publication type:

Article

On White's Expansion of Łukasiewicz Logic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 2, p. 389, doi. 10.1093/logcom/exp050

By:

HÁJEK, PETR

Publication type:

Article

Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 1, p. 35, doi. 10.1093/logcom/exn059

By:

BAAZ, MATTHIAS;
METCALFE, GEORGE

Publication type:

Article

Complexity Issues in Axiomatic Extensions of Łukasiewicz Logic.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 2, p. 245

By:

CINTULA, PETR;
HÁJEK, PETR

Publication type:

Article

Editorial.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 2, p. 243

By:

BAAZ, MATTHIAS;
METCALFE, GEORGE

Publication type:

Article

Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 2, doi. 10.1093/logcom/10.2.213

By:

Aguzzoli, S;
Aguzzoli, Steffano;
Ciabattoni, A;
Ciabattoni, Agata;
Di Nola, A;
Di Nola, Antonio

Publication type:

Article

Forthcoming papers.

Published in:: 2000
Publication type:: Abstract

The Stability of the Quartic Functional Equation in Random Normed Spaces.

Published in:

Acta Applicandae Mathematicae, 2010, v. 110, n. 2, p. 797, doi. 10.1007/s10440-009-9476-7

By:

Miheţ, D.;
Saadati, R.;
Vaezpour, S. M.

Publication type:

Article

NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 147, doi. 10.1017/S1755020313000312

By:

FIELD, HARTRY

Publication type:

Article

SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC.

Published in:

Review of Symbolic Logic, 2010, v. 3, n. 2, p. 273, doi. 10.1017/S1755020309990414

By:

Hájek, Petr

Publication type:

Article

DERIVATIONS IN ŁUKASIEWICZ SEMIRINGS.

Published in:

Miskolc Mathematical Notes, 2018, v. 19, n. 2, p. 769, doi. 10.18514/MMN.2018.2637

By:

CHAJDA, IVAN;
LÄNGER, HELMUT

Publication type:

Article

Varieties of Orthocomplemented Lattices Induced by Łukasiewicz-Groupoid-Valued Mappings.

Published in:

International Journal of Theoretical Physics, 2017, v. 56, n. 12, p. 4004, doi. 10.1007/s10773-017-3411-x

By:

Matoušek, Milan;
Pták, Pavel

Publication type:

Article

Tense Operators on Spaces of Numerical Events.

Published in:

International Journal of Theoretical Physics, 2014, v. 53, n. 10, p. 3456, doi. 10.1007/s10773-013-1820-z

By:

Chajda, Ivan;
Länger, Helmut

Publication type:

Article

A Basic Algebra Is an MV-Algebra If and Only If It Is a BCC-Algebra.

Published in:

International Journal of Theoretical Physics, 2008, v. 47, n. 1, p. 261, doi. 10.1007/s10773-007-9468-1

By:

Chajda, I.;
Halaš, R.

Publication type:

Article

On the Definition of Intuitionistic Fuzzy h-ideals of Hemirings.

Published in:

Kyungpook Mathematical Journal, 2013, v. 53, n. 3, p. 435, doi. 10.5666/KMJ.2013.53.3.435

By:

RAHMAN, SAIFUR;
SAIKIA, HELEN KUMARI

Publication type:

Article

On the Structure of Pseudo-BCK Algebras.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2017, v. 28, n. 2-3, p. 179

By:

CHAJDA, IVAN;
LÄNGER, HELMUT

Publication type:

Article

Logical Characterization of Filters on BL-algebras.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2013, v. 20, n. 1-2, p. 75

By:

MONIRI, M.;
FARAHANI, H.;
BORZOOEI, R. A.

Publication type:

Article

Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2012, v. 19, n. 1-3, p. 25

By:

BOU, FÉLIX

Publication type:

Article

Homomorphism, Ideals and Binary Relations on Hyper-MV Algebras.

Published in:: Journal of Multiple-Valued Logic & Soft Computing, 2011, v. 17, n. 1, p. 47
Publication type:: Article

Tense θ-Valued Łukasiewicz--Moisil Algebras.

Published in:: Journal of Multiple-Valued Logic & Soft Computing, 2011, v. 17, n. 1, p. 1
Publication type:: Article

A Duality for θ-Valued Łukasiewicz-Moisil Algebras and Applications.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2010, v. 16, n. 3-5, p. 303

By:

Figallo, A. V.;
Pascual, I.;
Ziliani, A.

Publication type:

Article

Boolean Algebras with an Automorphism Group: a Framework for Lukasiewicz Logic.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2008, v. 14, n. 1-2, p. 51

By:

Vetterlein, Thomas

Publication type:

Article

(δ, ⋆)-Equality of Fuzzy Sets.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2008, v. 14, n. 1-2, p. 1

By:

Georgescu, Irina

Publication type:

Article

Hesitant fuzzy Lukasiewicz implication operation and its application to alternatives' sorting and clustering analysis.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 2, p. 393, doi. 10.1007/s00500-018-3359-7

By:

Wen, Miaomiao;
Zhao, Hua;
Xu, Zeshui

Publication type:

Article

$$C_{n}{} { MV}_{m}$$ -algebras.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 22, p. 6563, doi. 10.1007/s00500-016-2362-0

By:

Liparteliani, Ramaz

Publication type:

Article

Modeling consensus using logic-based similarity measures.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2015, v. 19, n. 11, p. 3209, doi. 10.1007/s00500-014-1476-5

By:

Poledica, Ana;
Milošević, Pavle;
Dragović, Ivana;
Petrović, Bratislav;
Radojević, Dragan

Publication type:

Article

Multimodal epistemic Łukasiewicz logics with application in immune system.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2015, v. 19, n. 11, p. 3341, doi. 10.1007/s00500-015-1804-4

By:

Di Nola, Antonio;
Grigolia, Revaz;
Mitskevich, Nunu

Publication type:

Article

Extension of belief functions to infinite-valued events.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2012, v. 16, n. 11, p. 1851, doi. 10.1007/s00500-012-0836-2

By:

Kroupa, Tomáš

Publication type:

Article

Curry's Paradox and ω -Inconsistency.

Published in:

Studia Logica, 2013, v. 101, n. 1, p. 1, doi. 10.1007/s11225-012-9373-3

By:

Bacon, Andrew

Publication type:

Article

M-Zeroids: Structure and Categorical Equivalence.

Published in:

Studia Logica, 2012, v. 100, n. 5, p. 975, doi. 10.1007/s11225-012-9444-5

By:

Palmatier, Joshua;
Guzman, Fernando

Publication type:

Article

Fuzzy Topology and Åukasiewicz Logics from the Viewpoint of Duality Theory.

Published in:: Studia Logica, 2010, v. 94, n. 2, p. 245, doi. 10.1007/s11225-010-9234-x
Publication type:: Article

States on Polyadic MV-algebras.

Published in:: Studia Logica, 2010, v. 94, n. 2, p. 231, doi. 10.1007/s11225-010-9233-y
Publication type:: Article

On Yager and Hamacher t-Norms and Fuzzy Metric Spaces.

Published in:

International Journal of Intelligent Systems, 2014, v. 29, n. 12, p. 1173, doi. 10.1002/int.21688

By:

Castro‐Company, F.;
Tirado, P.

Publication type:

Article

RADICAL OF .-IDEALS IN PMV-ALGEBRAS.

Published in:

Bulletin of the Iranian Mathematical Society, 2016, v. 42, n. 2, p. 233

By:

FOROUZESH, F.

Publication type:

Article

ON L-IMPLICATIVE-GROUPS AND ASSOCIATED ALGEBRAS OF LOGIC.

Published in:

Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2012, p. 179

By:

IORGULESCU, Afrodita

Publication type:

Article

PREFIX-FREE ŁUKASIEWICZ LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1417, doi. 10.1142/S0129054107005455

By:

STAIGER, LUDWIG;
Truthe, B.

Publication type:

Article