User:LBehounek

My full name is Libor Behounek (with diacritics: Libor Běhounek, ), 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-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

 * 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&Delta;, 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)