User:LBehounek

From Wikipedia, the free encyclopedia

This is a Wikipedia user page.

This is not an encyclopedia article. If you find this page on any site other than Wikipedia, you are viewing a mirror site. Be aware that the page may be outdated and that the user this page belongs to may have no personal affiliation with any site other than Wikipedia itself. The original page is located at http://en.wikipedia.org/wiki/User:LBehounek.

If you want to edit this page, please do so in the section Area for other users' edits at the bottom of this page (I want to use first-person pronouns in other sections).

My full name is Libor Behounek (with diacritics: Libor Běhounek), I am Czech, male. For information about me visit my homepage.

1 Tools
2 My contributions
3 To do
- 3.1 Fuzzy logic
- 3.2 Other disciplines
4 Area for other users' edits

[edit] Tools

My sandbox
Help links: Mathematical symbols, Template messages

[edit] My contributions

I've made major edits to the following articles: Construction of t-norms^N, T-norm.

I've made section-size edits to the following articles: Didier Dubois^N, Involution, Membership function (mathematics), Velocity-addition formula.

For the full list, see my contributions.

[edit] To do

Comments are welcome at my talk page (please be aware that the plans may refer to now obsolete versions of the pages).

[edit] Fuzzy logic

Aggregation operator

Start the article (use, e.g., Klir–Yuan) -- 02:42, 20 February 2007 (UTC)

Basic fuzzy logic

Start the article, add to the BL page -- 19:39, 14 February 2007 (UTC)

Fuzzy logic

Section Formal fuzzy logic: make a main article with that name (and a redirect for Mathematical fuzzy logic) -- 19:39, 14 February 2007 (UTC)
In the article Formal fuzzy logic make a section describing each connective one by one as subsections (including Baaz Delta, involution, etc.) -- 19:39, 14 February 2007 (UTC)
Subsection on Efectiveness: should be in a separate article on Fuzzy computation -- 19:39, 14 February 2007 (UTC)
Expand the subsection Predicate fuzzy logics (interpretation of quantifiers, safe models), make a main article with more information -- 19:39, 14 February 2007 (UTC)

Fuzzy set

Needs to be corrected and expanded -- 23:26, 27 March 2007 (UTC)

Gödel

Mention infinite-valuedness of intuitionistic logic, add a reference to Zum intuitionistische Aussagenkalkül

Gödel-Dummett logic

Start the article, add a redirect for Goedel fuzzy logic here, link from Goedel, mention it at Michael Dummett, adjust the link from Intermediate logics -- 19:39, 14 February 2007 (UTC), updated 21:27, 19 February 2007 (UTC)

Logical value

Should be corrected and expanded -- 12:37, 24 March 2007 (UTC)

Łukasiewicz logic

Start the article, add to Łukasiewicz, Jan Łukasiewicz, Multi-valued logic, Ternary logic -- 19:39, 14 February 2007 (UTC)

Membership function (mathematics)

Needs to be corrected and expanded -- 23:26, 27 March 2007 (UTC)

Multi-valued logic

Needs to be wikified and elaborated -- 19:39, 14 February 2007 (UTC)
Add examples (Kleene logic, Gödel logic, Łukasiewicz logic, Bochvar logic, McCarthy logic) -- 19:39, 14 February 2007 (UTC)

MV-algebra

Add Wajsberg algebras and Section Prominent examples with Standard MV algebra and Chang algebra subsections, redirect Wajsberg algebra here -- 19:39, 14 February 2007 (UTC)

Monoidal t-norm logic

Start the article, add a link to MTL -- 20:38, 15 February 2007 (UTC)
Mention prominent extensions (IMTL, SMTL, BL), relation to FL_ew -- 20:38, 15 February 2007 (UTC)

Ordered magma (i.e., ordered groupoid)

Consider starting the article, list special cases (partially ordered monoids, ordered groups, etc.) -- 23:56, 19 February 2007 (UTC)

Ordinal sum

Consider starting the article (see Klement–Mesiar–Pap 2.5): definition of the ordinal sum of ordered semigroups, t-norms as an example, ordinal sum of hoops -- 23:56, 19 February 2007 (UTC)

Product fuzzy logic