User:LBehounek

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

My full name is Libor Behounek (with diacritics: Libor Běhounek, Czech pronunciation: [ˈlɪbor ˈbjɛɦounɛk]), I am a Czech male logician. More information about me can be found at my homepage.

My contributions[edit]

(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.

I am not a relative of František Běhounek (so there is no conflict of interests when I edit articles about him).

Tools[edit]

To do[edit]

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

Logic[edit]

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)

BL (logic)

  • Reference the Handbook of Mathematical Fuzzy Logic. -- 10:38, 28 April 2012 (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)
  • Subsection on Effectiveness: 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)

Fuzzy set

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

Generator (category theory)

  • Expand (co-separator, more examples). -- 18:38, 26 February 2008 (UTC)

Gödel-Dummett logic

Gödel's ontological proof

  • Add references to and a description of Hájek's (incl. the Studia Logica paper comparing it with Caramuel's proof of non-existence) and Cook's papers. -- 15:40, 26 February 2008 (UTC), updated 20:40, 26 May 2009 (UTC)

Kurt Gödel

  • Separate bio from work -- 15:37, 8 January 2008 (UTC)

Interpretation (logic)

  • Add syntactic interpretations. -- 06:06, 10 May 2008 (UTC)

Logical value

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

Łukasiewicz logic

  • 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)

Monoidal t-norm logic

  • 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)
  • Reference the Handbook of Mathematical Fuzzy Logic. -- 10:38, 28 April 2012 (UTC)

Multi-valued logic

  • Needs to be wikified and elaborated -- 19:39, 14 February 2007 (UTC)

MV-algebra

  • Add Wajsberg algebras, redirect Wajsberg algebra here, add translations between the operations under various definitions -- 01:54, 25 February 2008 (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)

Propositional variable

  • 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)

Residuated lattice

  • Expand -- 02:49, 19 February 2007 (UTC)

Substructural logic

  • Expand, mention t-norm and uninorm fuzzy logics. -- 01:45, 2 February 2008 (UTC)

Three-valued logic

  • Add more examples of three-valued logics (Lukasiewicz, Goedel, Post, Bochvar, McCarthy)---possibly just wikilinks to their own pages -- 10:38, 28 April 2012 (UTC)

T-norm fuzzy logic

  • 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)
  • Reference the Handbook of Mathematical Fuzzy Logic. -- 10:38, 28 April 2012 (UTC)

Transparent intensional logic

  • Wikify -- 12:23, 5 October 2009 (UTC)

Uninorm

  • Start the article, add to section See also at T-norm -- 03:42, 20 February 2007 (UTC)