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)