User:LBehounek

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

(New article = ^N.)

I've helped develop the following articles: Construction of t-norms^N, Monoidal t-norm logic^N, T-norm, T-norm fuzzy logics^N.

I've made section-size edits to the following articles: Didier Dubois^N, 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

• My sandbox
• Help links: Mathematical symbols, Template messages, IPA for Czech
• Checklinks tool (checks an article's external links)
• Edit counters (one of them)

To do

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

• Check links by the Checklinks tool, repair broken links in Construction of t-norms. -- 13:08, 21 September 2009 (UTC)

• Add IPA pronunciation to Czech names. -- 13:08, 21 September 2009 (UTC)

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)

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

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

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)