Difference between revisions of "FCT (project)"

From Mathfuzzlog
Jump to: navigation, search
(full papers)
(Publications: cat link + extended abstracts)
Line 12: Line 12:
  
 
== Publications ==
 
== Publications ==
 +
 +
Full papers related to FCT are on this website categorized under [[:Category:FCT publications]]. Besides being included in the category, they are listed below for easier reference. Extended abstracts related to FCT do not have individual entries and are only listed here.
  
 
=== Full papers ===
 
=== Full papers ===
  
* Běhounek L., Cintula P.: [[From fuzzy logic to fuzzy mathematics: a methodological manifesto]]. Fuzzy Sets and Systems 157(5): 642-646, 2006.
 
* Běhounek L., Cintula P.: [[Fuzzy class theory]]. Fuzzy Sets and Systems 154(1): 34-55, 2005.
 
* Běhounek L., Cintula P.: [http://www.cs.cas.cz/research/library/reports_900.shtml Fuzzy Class Theory: A primer v1.0.] Research report No. 939, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2006.
 
* Běhounek L.: [[On the difference between traditional and deductive fuzzy logic]]. Fuzzy Sets and Systems 159(10): 1153-1164, 2008.
 
* Běhounek L., Bodenhofer U., Cintula P.: [[Relations in Fuzzy Class Theory: Initial steps]]. Fuzzy Sets and Systems 159(14): 1729-1772, 2008.
 
 
* Běhounek L., Daňková M.: [[Relational compositions in Fuzzy Class Theory]]. To appear in Fuzzy Sets and Systems, 2008.
 
* Běhounek L., Daňková M.: [[Relational compositions in Fuzzy Class Theory]]. To appear in Fuzzy Sets and Systems, 2008.
 +
 
* Kroupa T.: [[Filters in Fuzzy Class Theory]]. Fuzzy Sets and Systems 159(14): 1773-1787, 2008.  
 
* Kroupa T.: [[Filters in Fuzzy Class Theory]]. Fuzzy Sets and Systems 159(14): 1773-1787, 2008.  
 +
 
* Horčík R.: [[Solution of a system of linear equations with fuzzy numbers]]. Fuzzy Sets and Systems 159(14): 1788-1810, 2008.  
 
* Horčík R.: [[Solution of a system of linear equations with fuzzy numbers]]. Fuzzy Sets and Systems 159(14): 1788-1810, 2008.  
 +
 +
* Běhounek L., Bodenhofer U., Cintula P.: [[Relations in Fuzzy Class Theory: Initial steps]]. Fuzzy Sets and Systems 159(14): 1729-1772, 2008.
 +
 +
* Běhounek L.: [[On the difference between traditional and deductive fuzzy logic]]. Fuzzy Sets and Systems 159(10): 1153-1164, 2008.
 +
 +
* Běhounek L., Cintula P.: [http://www.cs.cas.cz/research/library/reports_900.shtml Fuzzy Class Theory: A primer v1.0.] Research report No. 939, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2006.
 +
 +
* Běhounek L., Cintula P.: [[From fuzzy logic to fuzzy mathematics: a methodological manifesto]]. Fuzzy Sets and Systems 157(5): 642-646, 2006.
 +
 +
* Běhounek L., Cintula P.: [[Fuzzy class theory]]. Fuzzy Sets and Systems 154(1): 34-55, 2005.
 +
 
* Běhounek L.: [[Fuzzification of Groenendijk-Stokhof propositional erotetic logic]]. Logique et Analyse 47(185-188): 167-188, 2004.
 
* Běhounek L.: [[Fuzzification of Groenendijk-Stokhof propositional erotetic logic]]. Logique et Analyse 47(185-188): 167-188, 2004.
 +
 +
=== Extended abstracts ===
 +
 +
* Běhounek L.: Modeling costs of program runs in fuzzified propositional dynamic logic. Submitted to the proceedings volume [http://www.cs.cas.cz/hakl/doktorandsky-den/history.html Doktorandsky den '08], ed. F. Hakl. [http://www.volny.cz/behounek/logic/papers/dd08.pdf Corrected preprint].
 +
 +
* Běhounek L., Bodenhofer U., Cintula P., Saminger-Platz S.: Graded dominance. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the [http://www.flll.jku.at/research/linz2008/index.html 29th Linz Seminar on Fuzzy Set Theory], pp. 11-14, Linz 2008. [http://www.volny.cz/behounek/logic/papers/Linz08-BBCS.pdf Preprint].
 +
 +
* Běhounek L., Kroupa T.: Continuous relations over topological spaces in Fuzzy Class Theory. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the [http://www.flll.jku.at/research/linz2008/index.html 29th Linz Seminar on Fuzzy Set Theory], pp. 15-18, Linz 2008. [http://www.volny.cz/behounek/logic/papers/Linz08-FTop.pdf Preprint].
 +
 +
* Horčík R.: Interval analysis done in Fuzzy Class Theory. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the [http://www.flll.jku.at/research/linz2008/index.html 29th Linz Seminar on Fuzzy Set Theory], pp. 59-62, Linz 2008. [http://www.flll.jku.at/research/linzArchive/index.html Archive of conference volumes].
 +
 +
* Běhounek L., Bodenhofer U., Cintula P.: Valverde-style representation results in a graded framework. In M. Štěpnička, V. Novák, U. Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the [http://www.eusflat2007.cz 5th Eusflat Conference], vol. I, pp. 153-160, University of Ostrava 2007. [http://www.volny.cz/behounek/logic/papers/eusflat07-bbc.pdf Preprint].
 +
 +
* Běhounek&nbsp;L., Kroupa&nbsp;T.: Interior-based topology in Fuzzy Class Theory. In In M.&nbsp;Štěpnička, V.&nbsp;Novák, U.&nbsp;Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the [http://www.eusflat2007.cz 5th Eusflat Conference], vol.&nbsp;I, pp.&nbsp;145-151, University of Ostrava 2007. Awarded the <em>Distinguished Student Paper Award</em>. [http://www.volny.cz/behounek/logic/papers/eusflat07-ftop.pdf Preprint].
 +
 +
* Cintula P., Horčík R.: Fuzzy Class Theory: Some advanced topics. In M.&nbsp;Štěpnička, V.&nbsp;Novák, U.&nbsp;Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the [http://www.eusflat2007.cz 5th Eusflat Conference], vol.&nbsp;I, pp.&nbsp;137-143, University of Ostrava 2007. [http://www.cs.cas.cz/mathfuzzlog/index.php/Image:eusflat07-ch.pdf Preprint].
 +
 +
* Běhounek L., Kroupa T.: Topology in Fuzzy Class Theory: Basic notions. In P. Melin, O. Castillo, L.T. Aguilar, J. Kacprzyk, W. Pedrycz (eds.): Foundations of Fuzzy Logic and Soft Computing, pp. 513-522. [http://www.springer.com/series/1244 Lecture Notes in Artificial Intelligence] 4529 ([http://www.hafsamx.org/ifsa2007 IFSA 2007]), Springer 2007. [http://www.volny.cz/behounek/logic/papers/ifsa07-ftop.pdf Preprint].
 +
 +
* Běhounek L., Cintula P.: Features of mathematical theories in formal fuzzy logic. In P. Melin, O. Castillo, L.T. Aguilar, J. Kacprzyk, W. Pedrycz (eds.): Foundations of Fuzzy Logic and Soft Computing, pp. 523-532. [http://www.springer.com/series/1244 Lecture Notes in Artificial Intelligence] 4529 ([http://www.hafsamx.org/ifsa2007 IFSA 2007]), Springer 2007. [http://www.volny.cz/behounek/logic/papers/ifsa07-theories.pdf Preprint].
 +
 +
* Běhounek L.: Dubois and Prade's fuzzy elements: A challenge for formal fuzzy logic. In S.&nbsp;Gottwald, P.&nbsp;Hájek, M.&nbsp;Ojeda-Aciego (eds.): [http://sevein.matap.uma.es/~aciego/ercim-lsc LSC'06] Intl Conference on The Logic of Soft Computing &amp; Workshop of the ERCIM Working Group on Soft Computing, pp.&nbsp;90-95. Málaga 2006. [http://www.volny.cz/behounek/logic/papers/lsc06.pdf Preprint].
 +
 +
* Běhounek L., Daňková M.: Automated proofs for composition-based fuzzy relational notions. In S.&nbsp;Gottwald, P.&nbsp;Hajek, M.&nbsp;Ojeda-Aciego (eds.): [http://sevein.matap.uma.es/~aciego/ercim-lsc/ LSC'06] Intl Conference on The Logic of Soft Computing &amp; Workshop of the ERCIM Working Group on Soft Computing, pp.&nbsp;96-102. Málaga 2006. [http://www.volny.cz/behounek/logic/papers/lsc06-md.pdf Preprint].
 +
 +
* Běhounek L.: Extensionality in graded properties of fuzzy relations. In Proceedings of the Eleventh International Conference [http://ipmu2006.lip6.fr IPMU 2006], pp.&nbsp;1604-1611, Edition EDK, Paris 2006. [http://www.volny.cz/behounek/logic/papers/ipmu2006.pdf Preprint].
 +
 +
* Běhounek L.: Fuzzy MacNeille and Dedekind completions of crisp dense linear orderings. In F. Hakl (ed.): [http://www.cs.cas.cz/hakl/doktorandsky-den/index.html Doktorandský den '05], pp. 1-6. ICS AS CR &amp; Matfyzpress, Prague 2005. [http://www.volny.cz/behounek/logic/papers/dd05.pdf Preprint].
 +
 +
* Běhounek L.: Two notions of fuzzy lattice completion. In V.&nbsp;Novák, M.&nbsp;Štěpnička: International Conference The Logic of Soft Computing IV &amp; 4th Workshop of the ERCIM Working Group on Soft Computing, pp.&nbsp;22-24. [http://irafm.osu.cz/en/c13_research-reports Research report] No.&nbsp;77, Institute for Research and Application of Fuzzy Modeling, University of Ostrava, Ostrava 2005.
 +
 +
* Běhounek L.: Towards a formal theory of fuzzy Dedekind reals. In Proceedings of EUSFLAT-LFA 2005, pp.&nbsp;949-954. Barcelona 2005. [http://www.volny.cz/behounek/logic/papers/eusflat2005-behounek.pdf Preprint].
 +
 +
* Cintula P.: Basics of a formal theory of fuzzy partitions. In Proceedings of EUSFLAT-LFA 2005, pp.&nbsp;884-888. Barcelona 2005. [http://www.cs.cas.cz/mathfuzzlog/index.php/Image:Eusflat2005-cintula.pdf Preprint].
 +
 +
* Kroupa T.: Towards formal theory of measure on clans of fuzzy sets. In Proceedings of EUSFLAT-LFA 2005, pp.&nbsp;351-356. Barcelona 2005. [http://www.cs.cas.cz/mathfuzzlog/index.php/Image:Eusflat2005-kroupa.pdf Preprint].
 +
 +
* Běhounek L., Cintula P.: General logical formalism for fuzzy mathematics: methodology and apparatus. In Y.&nbsp;Liu, G.&nbsp;Chen, M. Ying (eds.): Fuzzy Logic, Soft Computing and Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, vol.&nbsp;2, pp.&nbsp;1233-1238. Tsinghua University Press &amp; Springer, Beijing 2005. Awarded the ''Best Paper Award'' at the 11th IFSA World Congress, Beijing 2005. [http://www.volny.cz/behounek/logic/papers/ifsa2005ii.pdf Preprint].
 +
 +
* Běhounek L., Cintula P.: Fuzzy Class Theory as foundations for fuzzy mathematics. In Y.&nbsp;Liu, G.&nbsp;Chen, M. Ying (eds.): Fuzzy Logic, Soft Computing and Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, vol.&nbsp;2, pp.&nbsp;1227-1238. Tsinghua University Press &amp; Springer, Beijing 2005. [http://www.volny.cz/behounek/logic/papers/ifsa2005i.pdf Preprint].
 +
 +
* Bodenhofer U., Běhounek L., Cintula P.: Relations in higher-order fuzzy logic III. In S.&nbsp;Gottwald, P.&nbsp;Hájek, U.&nbsp;Hoehle, E.P.&nbsp;Klement (eds.): Fuzzy Logics and Related Structures: Abstracts of the [http://www.flll.jku.at/research/linz2005/index.html 26th Linz Seminar on Fuzzy Set Theory], pp.&nbsp;20-22, Johannes Kepler University, Linz 2005. [http://www.flll.jku.at/research/linz2005/index.html The volume online].
 +
 +
* Běhounek L., Cintula P.: Relations in higher-order fuzzy logic I, II. In S.&nbsp;Gottwald, P.&nbsp;Hájek, U.&nbsp;Hoehle, E.P.&nbsp;Klement (eds.): Fuzzy Logics and Related Structures: Abstracts of the [http://www.flll.jku.at/research/linz2005/index.html 26th Linz Seminar on Fuzzy Set Theory], pp.&nbsp;10-15, Johannes Kepler University, Linz 2005. [http://www.flll.jku.at/research/linz2005/index.html The volume online].
 +
 +
* Běhounek L.: Formal semantics for fuzzy yes-no questions. In F.&nbsp;Hakl&nbsp;(ed.): [http://www.cs.cas.cz/hakl/doktorandsky-den/history.html Doktorandský den '04] (pp.&nbsp;1-7). ICS ASCR &amp; Matfyzpress, Prague 2004. [http://www.cs.cas.cz/hakl/doktorandsky-den/history.html The volume online].

Revision as of 18:52, 15 August 2008

The FCT project is an open project with the aim to formalize and advance formal fuzzy mathematics within a unified axiomatic framework, based on the methodology of Petr Hájek. Henkin-style higher-order fuzzy logic LPi is proposed for the foundational theory.

People

People involved in the project are listed on this site under the category Category:FCT researchers. The category is intended to include all people who wrote at least one publication that employs or investigates FCT.

Awards

  • In 2005-2007, the project was supported by the junior research grant No. B100300502 Formal Theories of Mathematical Structures with Vagueness of the Grant Agency of the Academy of Sciences of the Czech Republic (team members: Petr Cintula, Tomáš Kroupa, Rostislav Horčík, Libor Běhounek).
  • The paper General logical formalism for fuzzy mathematics: methodology and apparatus (by Libor Běhounek and Petr Cintula), which describes the project, has been awarded the Best Paper Award at the 11th IFSA World Congress, Beijing 2005.
  • The paper Interior-based topology in Fuzzy Class Theory (by Libor Běhounek and Tomáš Kroupa) has been awarded the Distinguished Student Paper Award at the 5th Conference of EUSFLAT, Ostrava 2007.

Publications

Full papers related to FCT are on this website categorized under Category:FCT publications. Besides being included in the category, they are listed below for easier reference. Extended abstracts related to FCT do not have individual entries and are only listed here.

Full papers

  • Běhounek L., Cintula P.: Fuzzy class theory. Fuzzy Sets and Systems 154(1): 34-55, 2005.

Extended abstracts

  • Běhounek L., Bodenhofer U., Cintula P., Saminger-Platz S.: Graded dominance. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the 29th Linz Seminar on Fuzzy Set Theory, pp. 11-14, Linz 2008. Preprint.
  • Běhounek L., Kroupa T.: Continuous relations over topological spaces in Fuzzy Class Theory. In E.P. Klement, S.E. Rodabaugh, L.N. Stout (eds.): Foundations of Lattice-Valued Mathematics with Applications to Algebra and Topology. Abstracts of the 29th Linz Seminar on Fuzzy Set Theory, pp. 15-18, Linz 2008. Preprint.
  • Běhounek L., Bodenhofer U., Cintula P.: Valverde-style representation results in a graded framework. In M. Štěpnička, V. Novák, U. Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the 5th Eusflat Conference, vol. I, pp. 153-160, University of Ostrava 2007. Preprint.
  • Běhounek L., Kroupa T.: Interior-based topology in Fuzzy Class Theory. In In M. Štěpnička, V. Novák, U. Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the 5th Eusflat Conference, vol. I, pp. 145-151, University of Ostrava 2007. Awarded the Distinguished Student Paper Award. Preprint.
  • Cintula P., Horčík R.: Fuzzy Class Theory: Some advanced topics. In M. Štěpnička, V. Novák, U. Bodenhofer (eds.): New Dimensions in Fuzzy Logic and Related Technologies: Proceedings of the 5th Eusflat Conference, vol. I, pp. 137-143, University of Ostrava 2007. Preprint.
  • Běhounek L., Kroupa T.: Topology in Fuzzy Class Theory: Basic notions. In P. Melin, O. Castillo, L.T. Aguilar, J. Kacprzyk, W. Pedrycz (eds.): Foundations of Fuzzy Logic and Soft Computing, pp. 513-522. Lecture Notes in Artificial Intelligence 4529 (IFSA 2007), Springer 2007. Preprint.
  • Běhounek L., Cintula P.: Features of mathematical theories in formal fuzzy logic. In P. Melin, O. Castillo, L.T. Aguilar, J. Kacprzyk, W. Pedrycz (eds.): Foundations of Fuzzy Logic and Soft Computing, pp. 523-532. Lecture Notes in Artificial Intelligence 4529 (IFSA 2007), Springer 2007. Preprint.
  • Běhounek L.: Dubois and Prade's fuzzy elements: A challenge for formal fuzzy logic. In S. Gottwald, P. Hájek, M. Ojeda-Aciego (eds.): LSC'06 Intl Conference on The Logic of Soft Computing & Workshop of the ERCIM Working Group on Soft Computing, pp. 90-95. Málaga 2006. Preprint.
  • Běhounek L., Daňková M.: Automated proofs for composition-based fuzzy relational notions. In S. Gottwald, P. Hajek, M. Ojeda-Aciego (eds.): LSC'06 Intl Conference on The Logic of Soft Computing & Workshop of the ERCIM Working Group on Soft Computing, pp. 96-102. Málaga 2006. Preprint.
  • Běhounek L.: Extensionality in graded properties of fuzzy relations. In Proceedings of the Eleventh International Conference IPMU 2006, pp. 1604-1611, Edition EDK, Paris 2006. Preprint.
  • Běhounek L.: Fuzzy MacNeille and Dedekind completions of crisp dense linear orderings. In F. Hakl (ed.): Doktorandský den '05, pp. 1-6. ICS AS CR & Matfyzpress, Prague 2005. Preprint.
  • Běhounek L.: Two notions of fuzzy lattice completion. In V. Novák, M. Štěpnička: International Conference The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing, pp. 22-24. Research report No. 77, Institute for Research and Application of Fuzzy Modeling, University of Ostrava, Ostrava 2005.
  • Běhounek L.: Towards a formal theory of fuzzy Dedekind reals. In Proceedings of EUSFLAT-LFA 2005, pp. 949-954. Barcelona 2005. Preprint.
  • Cintula P.: Basics of a formal theory of fuzzy partitions. In Proceedings of EUSFLAT-LFA 2005, pp. 884-888. Barcelona 2005. Preprint.
  • Kroupa T.: Towards formal theory of measure on clans of fuzzy sets. In Proceedings of EUSFLAT-LFA 2005, pp. 351-356. Barcelona 2005. Preprint.
  • Běhounek L., Cintula P.: General logical formalism for fuzzy mathematics: methodology and apparatus. In Y. Liu, G. Chen, M. Ying (eds.): Fuzzy Logic, Soft Computing and Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, vol. 2, pp. 1233-1238. Tsinghua University Press & Springer, Beijing 2005. Awarded the Best Paper Award at the 11th IFSA World Congress, Beijing 2005. Preprint.
  • Běhounek L., Cintula P.: Fuzzy Class Theory as foundations for fuzzy mathematics. In Y. Liu, G. Chen, M. Ying (eds.): Fuzzy Logic, Soft Computing and Computational Intelligence: Eleventh International Fuzzy Systems Association World Congress, vol. 2, pp. 1227-1238. Tsinghua University Press & Springer, Beijing 2005. Preprint.
  • Bodenhofer U., Běhounek L., Cintula P.: Relations in higher-order fuzzy logic III. In S. Gottwald, P. Hájek, U. Hoehle, E.P. Klement (eds.): Fuzzy Logics and Related Structures: Abstracts of the 26th Linz Seminar on Fuzzy Set Theory, pp. 20-22, Johannes Kepler University, Linz 2005. The volume online.
  • Běhounek L., Cintula P.: Relations in higher-order fuzzy logic I, II. In S. Gottwald, P. Hájek, U. Hoehle, E.P. Klement (eds.): Fuzzy Logics and Related Structures: Abstracts of the 26th Linz Seminar on Fuzzy Set Theory, pp. 10-15, Johannes Kepler University, Linz 2005. The volume online.