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 to whom this page belongs 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.
Contents |
[edit] Tools
- My sandbox
- Help links: Mathematical symbols, Template messages
[edit] My contributions
(New article = N.)
I've helped develop the following articles: Construction of t-normsN, Monoidal t-norm logicN, T-norm, T-norm fuzzy logicsN.
I've made section-size edits to the following articles: Didier DuboisN, Fuzzy set, Indicator function, Involution, Łukasiewicz logic, Membership function (mathematics), MV-algebra.
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] Logic
Aggregation operator
- Start the article (use, e.g., Klir–Yuan) -- 02:42, 20 February 2007 (UTC)
Algebraic semantics (logic)
- Start the article (the current article on algebraic semantics is on the semantics of computer programs) -- 21:19, 1 May 2007 (UTC)
- Section Formal fuzzy logic: make a main article with that name (and a redirect for Mathematical fuzzy logic) -- 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 (safe models), make a main article with more information -- 19:39, 14 February 2007 (UTC)
- Needs to be corrected and expanded -- 23:26, 27 March 2007 (UTC)
- Expand (co-separator, more examples). -- 18:38, 26 February 2008 (UTC)
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 and links to Intermediate logics that refer to Goedel logic -- 19:39, 14 February 2007 (UTC), updated 00:09, 27 January 2008 (UTC)
- Add references to and a description of Hájek's and Cook's papers. -- 15:40, 26 February 2008 (UTC)
- Separate bio from work -- 15:37, 8 January 2008 (UTC)
- Add syntactic interpretations. -- 06:06, 10 May 2008 (UTC)
- Should be corrected and expanded -- 12:37, 24 March 2007 (UTC)
- Expand by first-order logic -- 15:24, 11 May 2007 (UTC), updated 21:04, 10 March 2008 (UTC)
McCarthy logic
- Start the article. The original paper by McCarthy is available on his website. -- 15:25, 30 May 2007 (UTC)
Membership function (mathematics)
- Needs to be corrected and expanded -- 23:26, 27 March 2007 (UTC)
- 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)
- Add Wajsberg algebras, redirect Wajsberg algebra here, add translations between the operations under various definitions -- 01:54, 25 February 2008 (UTC)
- Add sections Related logics (MTLΔ, first-order MTL, MTLH, mention prominent extensions: IMTL, SMTL, BL) -- 20:38, 15 February 2007 (UTC), updated 20:43, 14 October 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
- Start the article, add to the Product page -- 19:39, 14 February 2007 (UTC)
- Need be corrected (it is not a variable that can be either true or false, but a variable for propositions; non-classical logics have to be taken into account) -- 22:21, 4 April 2007 (UTC)
- Expand -- 02:49, 19 February 2007 (UTC)
- Expand, mention t-norm and uninorm fuzzy logics. -- 01:45, 2 February 2008 (UTC)
- Add a section with examples of ternary logics with wikilinks to their pages -- 19:39, 14 February 2007 (UTC)
- Add axioms (of MTL with a table for propositional extensions, plus axioms for Delta and first-order versions), semantics, completeness, and a section on related systems -- 20:43, 14 October 2007 (UTC), updated 01:45, 2 February 2008 (UTC)
Uninorm
- Start the article, add to section See also at T-norm -- 03:42, 20 February 2007 (UTC)
[edit] Other disciplines
- Add graphs to Special Relativity articles
