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:
- Publication type:
- Article
Works matching DE "LUKASIEWICZ algebras"
Results: 103
1
2
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
3
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:
- Publication type:
- Article
4
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:
- Publication type:
- Article
5
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:
- Publication type:
- Article
6
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:
- Publication type:
- Article
7
Admissible Rules of Łukasiewicz Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 2, p. 425, doi. 10.1093/logcom/exp078
- By:
- Publication type:
- Article
8
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:
- Publication type:
- Article
9
The logic Ł<sup>•</sup>.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 6, p. 375, doi. 10.1002/malq.201200105
- By:
- Publication type:
- Article
10
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:
- Publication type:
- Article
11
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:
- Publication type:
- Article
12
Joint Consistency of Fuzzy Theories.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 563
- By:
- Publication type:
- Article
13
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:
- Publication type:
- Article
14
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:
- Publication type:
- Article
15
Elimination of Quantifiers on Łukasiewicz Logics.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 1, p. 15, doi. 10.1002/malq.19890350103
- By:
- Publication type:
- Article
16
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:
- Publication type:
- Article
17
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:
- Publication type:
- Article
18
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:
- Publication type:
- Article
19
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:
- Publication type:
- Article
20
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
21
Tense θ-Valued Łukasiewicz--Moisil Algebras.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2011, v. 17, n. 1, p. 1
- Publication type:
- Article
22
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:
- Publication type:
- Article
23
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:
- Publication type:
- Article
24
(δ, ⋆)-Equality of Fuzzy Sets.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2008, v. 14, n. 1-2, p. 1
- By:
- Publication type:
- Article
25
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:
- Publication type:
- Article
26
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:
- Publication type:
- Article
27
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:
- Publication type:
- Article
28
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:
- Publication type:
- Article
29
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:
- Publication type:
- Article
30
Curry's Paradox and ω -Inconsistency.
- Published in:
- Studia Logica, 2013, v. 101, n. 1, p. 1, doi. 10.1007/s11225-012-9373-3
- By:
- Publication type:
- Article
31
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:
- Publication type:
- Article
32
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
33
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
34
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:
- Publication type:
- Article
35
A topological duality for M<sub>3</sub>-lattices.
- Published in:
- Annals of the University of Craiova. Mathematics & Computer Science Series, 2018, v. 45, n. 2, p. 174
- By:
- Publication type:
- Article
36
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:
- Publication type:
- Article
37
DERIVATIONS IN ŁUKASIEWICZ SEMIRINGS.
- Published in:
- Miskolc Mathematical Notes, 2018, v. 19, n. 2, p. 769, doi. 10.18514/MMN.2018.2637
- By:
- Publication type:
- Article
38
On Wavelet Packet Frames.
- Published in:
- Journal of Concrete & Applicable Mathematics, 2008, v. 6, n. 1, p. 279
- By:
- Publication type:
- Article
39
CONVERGENCES IN ALGEBRAIC NUANCED STRUCTURES.
- Published in:
- Journal of Concrete & Applicable Mathematics, 2008, v. 6, n. 1, p. 267
- By:
- Publication type:
- Article
40
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:
- Publication type:
- Article
41
GENERALIZED CONNECTIVITY.
- Published in:
- Proyecciones - Journal of Mathematics, 2006, v. 25, n. 2, p. 190, doi. 10.4067/S0716-09172006000200005
- By:
- Publication type:
- Article
42
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:
- Publication type:
- Article
43
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:
- Publication type:
- Article
44
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:
- Publication type:
- Article
45
A topological duality for tense LM<sub>n</sub>-algebras and applications.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 4, p. 339, doi. 10.1093/jigpal/jzx056
- By:
- Publication type:
- Article
46
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:
- Publication type:
- Article
47
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:
- Publication type:
- Article
48
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:
- Publication type:
- Article
49
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:
- Publication type:
- Article
50
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:
- Publication type:
- Article