Works matching DE "LUKASIEWICZ algebras"

Results: 89

Free-Variable Semantic Tableaux for the Logic of Fuzzy Inequalities.

Published in:

Algebra & Logic, 2016, v. 55, n. 2, p. 103, doi. 10.1007/s10469-016-9382-9

By:

Gerasimov, A.

Publication type:

Article

Sessions of the Seminar 'Algebra i Logika'.

Published in:: Algebra & Logic, 2016, v. 55, n. 2, p. 178, doi. 10.1007/s10469-016-9386-5
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

The logic Ł•.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 375, doi. 10.1002/malq.201200105

By:

Sagastume, Marta S.;
Martín, Hernán J. San

Publication type:

Article

A discrete representation of free MV-algebras.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 279, doi. 10.1002/malq.200910036

By:

Di Nola, Antonio;
Grigolia, Revaz;
Spada, Luca

Publication type:

Article

Commutative rings whose ideals form an MV-algebra.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 5, p. 468, doi. 10.1002/malq.200810012

By:

Belluce, Lawrence P.;
Di Nola, Antonio

Publication type:

Article

Joint Consistency of Fuzzy Theories.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 563

By:

Novák, Vilém

Publication type:

Article

Universal Classes of MV-chains with Applications to Many-valued Logics.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 581, doi. 10.1002/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-W

By:

Gispert, Joan

Publication type:

Article

A Modeltheoretic Solution to a Problem of Tarski.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 343, doi. 10.1002/1521-3870(200204)48:3<343::AID-MALQ343>3.0.CO;2-4

By:

Ahmed, Tarek Sayed

Publication type:

Article

Elimination of Quantifiers on Łukasiewicz Logics.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 1, p. 15, doi. 10.1002/malq.19890350103

By:

Martínez, Néstor G.

Publication type:

Article

AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n-VALUED LUKASIEWICZ LOGICS.

Published in:

Mathematical Logic Quarterly, 1984, v. 30, n. 1-6, p. 87, doi. 10.1002/malq.19840300106

By:

Cignoli, Roberto

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

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

Localization of tetravalent modal algebras.

Published in:

Asian-European Journal of Mathematics, 2018, v. 11, n. 5, p. N.PAG, doi. 10.1142/S1793557118500675

By:

Figallo, Aldo V.;
Pelaitay, Gustavo

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

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

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

Free Algebras Over a Poset in Varieties of Łukasiewicz-Moisil Algebras.

Published in:

Demonstratio Mathematica, 2015, v. 48, n. 3, p. 348, doi. 10.1515/dema-2015-0024

By:

Orellano, A. Figallo;
Gallardo, C.

Publication type:

Article

A topological duality for M3-lattices.

Published in:

Annals of the University of Craiova. Mathematics & Computer Science Series, 2018, v. 45, n. 2, p. 174

By:

FIGALLO, ALDO V.;
JIMÉNEZ, MARÍA A.

Publication type:

Article

On Wavelet Packet Frames.

Published in:

Journal of Concrete & Applicable Mathematics, 2008, v. 6, n. 1, p. 279

By:

Ahmad, M. K.;
Iqbal, Javid

Publication type:

Article

CONVERGENCES IN ALGEBRAIC NUANCED STRUCTURES.

Published in:

Journal of Concrete & Applicable Mathematics, 2008, v. 6, n. 1, p. 267

By:

CIUNGU, LAVINIA CORINA

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

GENERALIZED CONNECTIVITY.

Published in:

Proyecciones - Journal of Mathematics, 2006, v. 25, n. 2, p. 190, doi. 10.4067/S0716-09172006000200005

By:

YUELI YUE;
JINMING FANG

Publication type:

Article

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

Almost Separation Axioms in Fuzzifying Topology.

Published in:

Journal of Advanced Studies in Topology, 2013, v. 4, n. 4, p. 46, doi. 10.20454/jast.2013.657

By:

Sayed, O. R.;
Mousa, A. K.

Publication type:

Article

Consistency Degrees of Theories in Łukasiewicz Fuzzy and n-Valued Propositional Logic Systems.

Published in:

Applied Computational Intelligence & Soft Computing, 2010, p. 1, doi. 10.1155/2010/907298

By:

Jiancheng Zhang

Publication type:

Article

A topological duality for tense LMn-algebras and applications.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 4, p. 339, doi. 10.1093/jigpal/jzx056

By:

Figallo, Aldo V;
Pascual, Inés;
Pelaitay, Gustavo

Publication type:

Article

On the structure theory of Łukasiewicz near semirings.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx044

By:

CHAJDA, IVAN;
LEDDA, ANTONIO;
FAZIO, DAVIDE

Publication type:

Article

Cut-elimination and deductive polarization in complementary classical logic.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 273, doi. 10.1093/jigpal/jzx006

By:

CARNIELLI, WALTER A.;
PULCINI, GABRIELE

Publication type:

Article

Compactness in first order Łukasiewicz logic.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 254, doi. 10.1093/jigpal/jzr034

By:

Tavana, N. R.;
Pourmahdian, M.;
Didehvar, F.

Publication type:

Article

A note on Hájek, Paris and Shepherdson's theorem.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 261, doi. 10.1093/jigpal/jzi017

By:

Yatabe, Shunsuke

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

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

ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS.

Published in:

Journal of Symbolic Logic, 2014, v. 79, n. 4, p. 1061, doi. 10.1017/jsl.2014.53

By:

BELLUCE, LAWRENCE P.;
DI NOLA, ANTONIO;
LENZI, GIACOMO

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