Search results
- 1.0405572 - UIVT-O 330952 CZ eng A - Abstract
Cintula, Petr - Navara, M.
Theorem Proving in Fuzzy Logics.
[Automatické dokazování ve fuzzy logikách.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
R&D Projects: GA MŠMT 1M0545
Institutional research plan: CEZ:MSM6840770012
Keywords : fuzzy logic * Lukasiewicz logic * theorem proving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125726 - 2.0405323 - UIVT-O 330694 AT eng A - Abstract
Cintula, Petr - Klement, E.P. - Mesiar, Radko - Navara, M.
On the Special Role of the Hamacher Product in Fuzzy Logics.
Fuzzy Logics and Related Structures. Linz: Johannes Kepler Universität, 2005 - (Gottwald, S.; Hájek, P.; Höhle, U.; Klement, E.). s. 34-37
[Linz Seminar on Fuzzy Set Theory /26./. 01.02.2005-05.02.2005, Linz]
R&D Projects: GA MŠMT OC 274.001; GA ČR GA201/02/1504; GA MŠMT 1M0545
Grant - others:COST(EU) Action 274 TARSKI; VEGA(SK) 1/0273/03; CEEPUS(SK) SK-042
Keywords : fuzzy logic * involutive negation * Hamacher product * t-norms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125496 - 3.0393068 - ÚI 2014 US eng A - Abstract
Cintula, Petr - Noguera, C.
Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
Bulletin of Symbolic Logic. Cambridge University Press. Roč. 18, č. 3 (2012), s. 442-443. ISSN 1079-8986. E-ISSN 1943-5894.
[Logic Colloquium 2011. 11.07.2011-16.07.2011, Barcelona]
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
Subject RIV: BA - General Mathematics
http://www.math.ucla.edu/~asl/bsl/1803-toc.htm
Permanent Link: http://hdl.handle.net/11104/0221820File Download Size Commentary Version Access 0393068.pdf 0 95.7 KB Author´s preprint open-access - 4.0391889 - ÚI 2014 GB eng A - Abstract
Cintula, Petr - Metcalfe, G.
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 1-5. ISSN 2040-557X.
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : intuitionistic logic * intermediate logics * admissible rules * structural completeness * complexity
Subject RIV: BA - General Mathematics
http://www.easychair.org/publications/?page=719443787
Permanent Link: http://hdl.handle.net/11104/0220861File Download Size Commentary Version Access 0391889.pdf 2 958.2 KB Publisher’s postprint require - 5.0362703 - ÚI 2012 ES eng A - Abstract
Cintula, Petr - Noguera, C.
Generalized Disjunctions in (Infinitary) Structural Consequence Relations.
Logic Colloquium 2011. Barcelona: Universitat de Barcelona, 2011. s. 48-50.
[Logic Colloquium 2011. 11.07.2011-16.07.2011, Barcelona]
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0198952File Download Size Commentary Version Access 0362703.pdf 0 95.2 KB Author´s preprint open-access - 6.0361600 - ÚI 2012 FR eng A - Abstract
Cintula, Petr - Noguera, C.
Almost (MP)-based Substructural Logics.
Topology, Algebra and Categories in Logic. Marseille, 2011. s. 107-110.
[TACL 2011. Topology, Algebra and Categories in Logic /5./. 26.07.2011-30.07.2011, Marseilles]
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : nonassociative full Lambek calculus * deduction theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0198882File Download Size Commentary Version Access 0361600.pdf 0 634.9 KB Author´s preprint open-access - 7.0311043 - ÚI 2009 NZ eng A - Abstract
Šíma, Jiří
Gradient Learning in Networks of Smoothly Spiking Neurons.
Neural Information Processing. Auckland: KEDRI, 2008.
[ICONIP 2008. International Conference on Neural Information Processing /15./. 25.11.2008-28.11.2008, Auckland]
R&D Projects: GA AV ČR 1ET100300517; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : spiking neuron * back-propagation * SpikeProp * gradient learning
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0162759File Download Size Commentary Version Access 0311043.pdf 0 115.4 KB Author´s preprint open-access - 8.0088525 - ÚI 2008 CZ eng A - Abstract
Hliněná, D. - Hliněný, P. - Vojtáš, Peter
Multicriteria Optimization: Starting Points.
Acquisition Process Management. Brno: University of Defence, 2006 - (Hájková, E.; Vémolová, R.). s. 34-34. ISBN 80-7231-139-5.
[International Colloquium on the Acquisition Process Management /24./. 18.06.2006, Brno]
R&D Projects: GA AV ČR 1ET100300517; GA AV ČR 1ET100300419; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : multicriteria optimization * fuzzy measures * Choquet integral * fuzzy logic programming * point location * polyhedral complex
Permanent Link: http://hdl.handle.net/11104/0150010 - 9.0084529 - ÚI 2008 CN eng A - Abstract
Běhounek, Libor - Cintula, Petr
Modal Fuzzy Logics based on Scott-Montague Semantics.
Many-Valued Logics and Cognition. Guangzhou: Sun Yat-sen University, 2007. s. 2-3.
[Trends in Logic /5./. 06.07.2007-09.07.2007, Guangzhou]
R&D Projects: GA AV ČR IAA100300503; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : modal logic * fuzzy logic * neighborhood semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0147268 - 10.0084528 - ÚI 2008 CN eng A - Abstract
Cintula, Petr - Horčík, Rostislav - Běhounek, Libor
Exponentials and Multiplicative Quantifiers in Fuzzy Logic.
Many-Valued Logics and Cognition. Guangzhou: Sun Yat-sen University, 2007. s. 13-14.
[Trends in Logic /5./. 06.07.2007-09.07.2007, Guangzhou]
R&D Projects: GA MŠMT(CZ) 1M0545; GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : multiplicative quantifiers * generalized quantifiers * exponentials * fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0147267