Works matching DE "LUKASIEWICZ algebras"

Results: 103

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

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

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

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

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

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

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

Monadic GMV-algebras.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 3, p. 277, doi. 10.1007/s00153-008-0086-2

By:

Rachůnek, Jiří;
Šalounová, Dana

Publication type:

Article

Free Łukasiewicz implication algebras.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 25, doi. 10.1007/s00153-008-0067-5

By:

Varela, José Patricio Díaz

Publication type:

Article

Pavelka-style completeness in expansions of Łukasiewicz logic.

Published in:

Archive for Mathematical Logic, 2008, v. 47, n. 1, p. 15, doi. 10.1007/s00153-008-0064-8

By:

Freytes, Hector

Publication type:

Article

Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic.

Published in:

Archive for Mathematical Logic, 2007, v. 46, n. 3/4, p. 281, doi. 10.1007/s00153-007-0043-5

By:

Yatabe, Shunsuke

Publication type:

Article

Non-commutative Łukasiewicz propositional logic.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 2, p. 191, doi. 10.1007/s00153-005-0297-8

By:

Leuştean, Ioana

Publication type:

Article

On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 763, doi. 10.1007/s00153-005-0284-0

By:

Hájek, Petr

Publication type:

Article

On normal forms in Łukasiewicz logic.

Published in:

Archive for Mathematical Logic, 2004, v. 43, n. 6, p. 795, doi. 10.1007/s00153-004-0230-6

By:

Di Nola, A.;
Lettieri, A.

Publication type:

Article

Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic.

Published in:

Archive for Mathematical Logic, 2003, v. 42, n. 4, p. 361, doi. 10.1007/s001530200144

By:

Cignoli, Roberto;
Torrens, Antoni

Publication type:

Article

The LΠ and LΠ1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.

Published in:

Archive for Mathematical Logic, 2001, v. 40, n. 1, p. 39, doi. 10.1007/s001530050173

By:

Esteva, Francesc;
Godo, Lluís;
Montagna, Franco

Publication type:

Article

Multicriteria decision making based on intuitionistic fuzzy prioritized arithmetic mean.

Published in:

International Journal of Intelligent Systems, 2018, v. 33, n. 7, p. 1412, doi. 10.1002/int.21976

By:

Wang, Weize;
Mendel, Jerry M.

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

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

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

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

Pavelka-style fuzzy justification logics.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 743, doi. 10.1093/jigpal/jzw019

By:

GHARI, MEGHDAD

Publication type:

Article

Representing quantum structures as near semirings.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 5, p. 719, doi. 10.1093/jigpal/jzw031

By:

BONZIO, STEFANO;
CHAJDA, IVAN;
LEDDA, ANTONIO

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

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

ON 2-GENERATED FREE Sω1 -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

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

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

On ( ε,ε V q )-Fuzzy Filters of Pseudo-BL Algebras.

Published in:

Bulletin of the Malaysian Mathematical Sciences Society, 2010, v. 33, n. 1, p. 57

By:

Jianming Zhan;
Young Bae Jun;
Dudek, Wies law A.

Publication type:

Article

Generalized Fuzzy k-Ideals of Semirings with Interval-Valued Membership Functions.

Published in:

Bulletin of the Malaysian Mathematical Sciences Society, 2009, v. 32, n. 3, p. 409

By:

Hedayati, Hossein

Publication type:

Article

Generalized Fuzzy Ideals of BCI-Algebras.

Published in:

Bulletin of the Malaysian Mathematical Sciences Society, 2009, v. 32, n. 2, p. 119

By:

Jianming Zhan;
Young Bae Jun

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

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

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

65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998).

Published in:

International Journal of Computers, Communications & Control, 2006, v. 1, n. 3, p. 93, doi. 10.15837/ijccc.2006.3.2298

By:

Dzitac, Ioan;
Andrei, Loriana

Publication type:

Article