LoMoReVI

Events

November 4-5, 2008:

First Meeting of the LoMoReVI at IIIA -CSIC (Campus of the Autonomous University of Barcelona). Details...

September 14-17, 2009:

LoMoReVI Conference at Čejkovice, Czech Republic. Details...

Publications

• Matthias Baaz, Oliver Fasching. The impact of adding a constant, in Lattice-Based Logic and its Applications, 31st Linz Seminar an Fuzzy Set Theory, P. Cintula, E.P. Klement, L.N. Stout (eds.), pp. 11-13, 2010 [BibTeX]
• F. Esteva, Ll. Godo, R.O. Rodríguez, T. Vetterlein. On the logics of similarity-based approximate and strong entailment, in Proceedings of the 15th  Spanish Congress on Fuzzy Logic and Technology , 2010 [BibTeX]
• Christoph Roschger. Evaluation Games for Shapiro's Logic of Vagueness in Context, in Collegium Logicum, Vienna UT, 2009 [BibTeX]
• Christoph Roschger. Bridges Between Fuzzy Logic and Linguistic Models of Vagueness, in Advances in Knowledge-Based Technologies, Johannes Kepler University Linz, 2010 [BibTeX]
• Christian G. Ferm{\"u}ller. Vagueness and Degrees of Truth: Scenes from a Troubled Marriage, in Lattice-Based Logic and its Applications, 31st Linz Seminar an Fuzzy Set Theory, 2010 [BibTeX]
• Christian G. Ferm{\"u}ller. Truth value intervals, Bets, and Dialogue Games, in Logica Yearbook 2008, Michal Pelis (ed.), Collegue Publications, 2009 [BibTeX]
• E. Marchioni, G. Metcalfe. Interpolation properties for uninorm based logics, in ISMVL2010, Barcelona (Spain), 2010 [BibTeX]
• E. Marchioni, L. Spada. Advances in the theory of muLPi-algebras, in Logic Journal of the IGPL, 2010 [BibTeX]
• P. Dellunde, L. Godo, E. Marchioni. Extending Possibilistic Logic over Godel Logic, in International Journal of Approximate Reasoning, 2010 [BibTeX]
• E. Marchioni. The model-theoretic approach to many-valued logics: A survey, in Logical Models for Reasoning with Vague Information. Čejkovice (Czech Republic), 2009 [BibTeX]
• E. Marchioni. A model-theoretic analysis of classes of MV algebras, in Topology, Algebra and Categories in Logic. Institute for Logic, Language and Computation, Amsterdam (Netherlands), July 7-11, 2009, 2009 [BibTeX]
• E. Marchioni. Logics with possibilistic intensional predicates, in Collegium Logicum 2009: Constraint Satisfaction Problems and Many-Valued Logics, Vienna University of Technology, Vienna (Austria), 2009 [BibTeX]
• E. Marchioni. Advances in the theory of muLPi-algebras, in Algebra and Probability in Many-Valued Logics. Technische Universität Darmstadt, Darmstadt (Germany), May 7-9, 2009, 2009 [BibTeX]
• E. Marchioni. Amalgamation for residuated structures through quantifier elimination, in LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena, 2008 [BibTeX]
• Christian G. Ferm{\"u}ller. Dialogue Games as Foundation of Fuzzy Logics, in Views on Fuzzy Sets an Systems from Different Perspectives, R. Seising, J. Kacprzyk (eds.), pp. 229 - 247, Springer, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Revisiting Giles's Game - Reconciling Fuzzy Logic and Supervaluation, in Games: Unifying Logic, Language, and Philosophy, O. Majer, T. Tulenheimo, A. Pietarinen (eds.), pp. 209 - 227, Springer, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Dialogue games and the proof theory of fuzzy logics - a review and outlook, in Linz Fuzzy Set Seminar 2009, The Legacy of 30 Seminars - Where do we stand and where do we go?, U. De Baets, U Bodenhofer et al. (eds.), 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Vagueness at the interface between logic, philosophy, and linguistics, in Logical Models of Reasoning with Vague Information, Cejkovice, Czech Republic, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. On the interpretation of t-norm based fuzzy logics, in LATD 2008 - Logic, Algebra and Truth Degrees 2008, Siena, 2008 [BibTeX]
• Christian G. Ferm{\"u}ller. LoMoReVI -- Logical Models of Reasoning with Vague Information, in LogICCC Launch Conference of the European Science Foundation, Prag , 2008 [BibTeX]
• Christian G. Ferm{\"u}ller. Linguistics, Logic, and Vagueness, in Moscow-Vienna Workshop on Logic and Computation, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Giles's Game and the Proof Theory of Lukasiewicz Logic, in Probability, Uncertainty and Rationality, Pontignano, Italy, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Dialogue games as foundations of non-classical logics, in Non-classical Logics: from Foundations to Applications, Pisa, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Fuzzy Logic and Vagueness: Can Philosophers Learn from Petr H\'ajek?, in Witnessed Years: Essays in Honour of Petr Hajek, Petr Cintula, Zuzana Hanikova, Vitesslav Svejdar (eds.), College Publications, 2009 [BibTeX]
• Christian G. Ferm{\"u}ller. Fuzzy Logic and Vagueness: Can Philosophers Learn from Petr H\'ajek?, in The Beauty of Logic II, Prague, 2010 [BibTeX]
• Libor B{\v e}hounek. A reverse style of logic-based fuzzy topology, in The 1st Czech-Latvian Seminar on Advanced Methods in Soft Computing, 2008 [BibTeX]
• Rostislav Hor{\v c}{\' i}k. Minimal varieties of cancellative residuated lattices, in BLAST 2008. Denver: University of Denver, 2008 [BibTeX]
• Libor B{\v e}hounek. Axiomatization of mathematical and physical theories in t-norm logics, in Logic and the Foundations of Physics: Space, Time and Quanta, Brussels, 2008 [BibTeX]
• Milan Daniel. New approach to conflicts within and between belief functions, (1062), 2009 [BibTeX]
• Zuzana Hanikov{\' a}. Logics with truth constants for delimiting idempotents, (1055), pp. 1-9, Institute of Computer Science, 2009 [BibTeX]
• Michal Peli{\v s}. Logick{\' a} argumentace mezi agenty, in Kognice 2009, pp. 213-219, Gaudeamus , 2009 [BibTeX]
• Milan Daniel. Chapter 10: Analysis of DSm belief conditioning rules and extension of their applicability, in Volume 3 of Advances and Applications of DSmT for Information Fusion, Florentin Smarandache, Jean Dezert (eds.), pp. 323-343, American Research Press, 2009 [BibTeX]
• Ondrej Majer, Timothy Childers. Representing subjective probabilities, in Foundations of Uncertainty: Probability and Its Rivals, Prague, September 1-4 , 2009 [BibTeX]
• Milan Daniel . Completions of fragments of lattice-valued possibilistic distributions according to the principle of maximum entropy , in ECSQUARU 2009, Verona, July 1-3 , 2009 [BibTeX]
• Milan Daniel. Belief conditioning rules for classic belief functions, in Proceedings of WUPES 2009, Tom{\' a}{\v s} Kroupa, Ji{\v r}ina Vejnarov{\' a} (eds.), pp. 46-56, University of Economics, Prague, 2009 [BibTeX]
• Milan Daniel. Belief Conditioningin DSmT, in Proceedings of 12th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty , Vil{\' e}m Nov{\' a}k, Viktor Pavliska, Martin {\v S}t{\v e}pni{\v c}ka (eds.), pp. 29-40, 2009 [BibTeX]
• Petr Cintula. General approach to first-order non-classical logics, in The Seminar on Non-classical Logics. University of Barcelona, 2009 [BibTeX]
• Agata Ciabattoni, Thomas Vetterlein, Klaus-Peter Adlassnig. A Formal Logical Framework for Cadiag-2, in Proceedings of the 30th MIE conference (Sarajevo 2009), 2009 [Download] [BibTeX]
• Thomas Vetterlein. The partial-algebra method for the representation of algebras related to fuzzy logics, in 30th Linz Seminar, 2009 [BibTeX]
• Thomas Vetterlein, Klaus-Peter Adlassnig. T-norm based fuzzy logic and logics for reasoning under vagueness, in Proceedings of the Joint EUSFLAT and IFSA conference (Lisbon 2009), pp. 1085-1090, 2009 [Download] [BibTeX]
• Marta B{\' i}lkov{\'a}. On coalgebraic modal logic, in The Seminar on Non-classical Logics. University of Barcelona, 2009 [BibTeX]
• Petr H{\'a}jek. A fuzzy logician reading books on vagueness, in Logical Models of Reasoning with Vague Information 2009, Cejkovice (Czech Republic), 14-17 September, 2009 [BibTeX]
• Ondrej Majer. Fuzzy logics and games, in Logical Models of Reasoning with Vague Information 2009, Cejkovice (Czech Republic), 14-17 September, 2009 [BibTeX]
• Libor B{\v e}hounek. On deductive fuzzy logics as logics of gradual properties, in Logical Models of Reasoning with Vague Information 2009, Cejkovice (Czech Republic), 14-17 September, 2009 [BibTeX]
• Karel Chvalovsk{\'y}. On the Independence of Axioms in BL and MTL, in Doktorandsk{\'e} dny '08, F.\ Hakl (ed.), pp. 28-36, {\'U}stav informatiky AV {\v C}R, v. v. i. \& MATFYZPRESS, 2008 [BibTeX]
• Martin Hole{\v n}a. Genetic algorithms for the optimization of catalysts in chemical engineering, in World Congress on Engineering and Computer Science, pp. 969-974, 2008 [BibTeX]
• Karel Chvalovsk{\'y}. Independence of Axioms in Non-Classical Logics and ATP, in Mathematical Theory and Computational Practice. Abstract Booklet, K.\ Ambos-Spies, B.\ L{\"o}we, W.\ Merkle (eds.), pp. 324-324, University of Heidelberg, 2009 [BibTeX]
• Karel Chvalovsk\{'y}. Syntactic Approach to Fuzzy Modal Logics in MTL, in Doktorandsk{\'e} dny '09, D.\ Ku{\v z}elov{\'a} (ed.), pp. 35-43, {\'U}stav informatiky AV {\v C}R, v. v. i. \& MATFYZPRESS, 2009 [BibTeX]
• F. Esteva. Modalities and many-valued: modelling uncertainty and similarity-based reasoning and a proposal on Fuzzy description Logics , in XXXI Linz Seminar , E.P.Klement, U. Höhle, S.Gottwald (eds.), pp. Abstract (in press), 2010 [BibTeX]
• A.Garcia-Cerdaña, E. Armengol and F.Esteva. Fuzzy Description Logics and t-norm based Fuzzy Logics, in Int. Journal of Approximate Reasoning, Elsewier (ed.), 2010 [BibTeX]
• Marco Cerami, Francesc Esteva, Felix Bou. Decidability of a Description Logic over infinite-valued Product Logic, in Proceedings KR2010, [BibTeX]
• Marco Cerami, Francesc Esteva. First order SMTL logic and quasi-witnessed models, in Proc. ESTYLF2010, A. Pelegrin (ed.), pp. 145-150, 2010 [BibTeX]
• Marco Cerami, Francesc Esteva, Felix Bou. Decidability of some problems in a Description Logic over infnite-valued Product Logic , in XXXI Linz seminar , E.P.Klement, U. Höhle, S.Gottwald (eds.), pp. Abstract in press, 2010 [BibTeX]
• Angel Garcia-Cedaña, Eva Armengol, Francesc Esteva. Fuzzy Description Logics and Triangular Norm Based Fuzzy Logics: adding truth constants to the language, in Proceedings IFSA-EUSFLAT 2009, pp. 891-896, 2009 [BibTeX]
• Lluís Godo. Fuzzy similarity-based reasoning: logical formalizations and some aplications, in Invited talk at the Graduate School of Engineering Science, Osaka University (Japan), 2009 [BibTeX]
• Lluís Godo. Truthlikeness and graded similarity: some logic-based approaches, in Workshop on the Logical Foundations of Rational Interaction, Pisa (Italy), November 4, 2009 [BibTeX]
• Francesc Esteva, Lluís Godo and Ricardo O. Rodríguez. Truthlikeness, Graded Similarity and Fuzziness: Some Logic-Based Approaches, in Logical Models of Reasoning with Vague Information 2009, Cejkovice (Czech Republic), 14-17 September, 2009 [BibTeX]
• E. Marchioni. Amalgamation through quantifier elimination for varieties of commutative residuated lattices, in Archive for Mathematical Logic, 2009 [BibTeX]
• L.P. Belluce, A. Di Nola, E. Marchioni. Rings and Godel algebras, in Algebra Universalis, 2010 [BibTeX]
• Manfred Baerns and Martin Hole{\v n}a. Combinatorial Development Of Solid Catalytic Materials: Design of High-Throughput Experiments, Data Analysis, Data Mining, vol. 7, World Scientific Publishing Company, 2009 [BibTeX]
• Martin Hole{\v n}a, David Linke and Norbert Steinfeldt. Boosted Neural Networks in Evolutionary Computation, in ICONIP (2), Chi Sing Leung, Minho Lee and Jonathan H.\ Chan (eds.), pp. 131-140, Springer Berlin / Heidelberg, 2009 [Download] [BibTeX]
• Petr Cintula and Carles Noguera. First-order (semilinear) implicational logics, in Proceedings of TACL 2009, pp. 1-4, University of Amsterdam, 2009 [BibTeX]
• Petr Cintula and Carles Noguera. Implicational (semilinear) logics I: a new hierachy, [BibTeX]
• Petr Cintula. From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics, in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Claudio Sossai and Gaetano Chemello (ed.), vol. 5590, pp. 14-15, Springer Berlin / Heidelberg, 2009 [Download] [BibTeX]
• Petr H{\'a}jek. On the fuzzy modal logic {S}5({C}), in Fuzzy Sets and Systems, 2010 [Download] [BibTeX]
• Petr H{\'a}jek. Comments on interpretability, decidability and other topics on fuzzy logic, [Download] [BibTeX]
• Petr Cintula and Petr H{\'a}jek. Triangular Norm Based Predicate Fuzzy Logics, in Fuzzy Sets and Systems, vol. 161(3), pp. 311-346, 2010 [Download] [BibTeX]
• Pere Pardo; Pilar Dellunde; Lluís Godo. Secure and Optimal Base Contraction in Graded {\L}ukasiewicz Logics, in Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, S. Sandri, M. S\`anchez-Marr\'e and U. Cort\'es (eds.), vol. 202, pp. 265-274, IOS Press, 2009 [BibTeX]
• Pere Pardo; Pilar Dellunde; Lluís Godo. Base Belief Change for Finitary Monotonic Logics, in 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Sevilla, pp. 337-346 , 2009 [BibTeX]
• Pilar Dellunde; Lluís Godo; Enrico Marchioni. Exploring Extensions of Possibilistic Logic over Gödel logic, in 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty , vol. 5590, pp. 923–934, Springer-Verlag, 2009 [BibTeX]
• Tommaso Flaminio; Lluís Godo; Enrico Marchioni. On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events, in Journal of Logic and Computation, To appear. [BibTeX]
• P.\ Cintula and G.\ Metcalfe. Structural Completeness in Fuzzy Logics, in Notre Dame Journal of Formal Logic, vol. 50(2), pp. 153-183, 2009 [Download] [BibTeX]
• M. Baaz and G. Metcalfe. Herbrand Theorems and Skolemization for Fuzzy Logics, in Proceedings of CiE 2008, A. Beckmann, C. Dimitracopoulos, and B. Löwe (eds.), vol. 5028, pp. 22-31, Springer, 2008 [BibTeX]
• G. Metcalfe and N. Olivetti. Proof Systems for a Gödel Modal Logic, in Proceedings of TABLEAUX 2009, M. Giese and A. Waaler (ed.), vol. 5607, pp. 265-279, Springer, 2009 [BibTeX]
• A. Ciabattoni, G. Metcalfe, and F. Montagna. Algebraic and Proof-theoretic Characterizations of Truth Stressers for MTL and its Extensions, in Fuzzy Sets and Systems, vol. 161, pp. 369-389, Elsevier, 2010 [BibTeX]
• Thomas Vetterlein. Plausible reasoning and graded information: a unified approach, 2010 [Download] [BibTeX]
• Thomas Vetterlein. On vagueness and granularity, in Conference on Logical Models of Reasoning with Vague Information, 2009 [BibTeX]
• C.G. Ferm{\"u}ller and G. Metcalfe. Giles's Game and the proof Theory of {\L}ukasiewicz Logic, in Studia Logica, vol. 92, pp. 27-61, 2009 [BibTeX]
• A. Ciabattoni and G. Metcalfe. Density Elimination and Rational Completeness for First-Order Logics, in Symposium on Logical Foundations of Computer Science (LFCS'07), vol. 4514, pp. 132-146, 2007 [BibTeX]
• M. Baaz, A. Ciabattoni, C. G. Fermüller. Cut Elimination for First Order Gödel Logic by Hyperclause Resolution , in Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, vol. 5530, pp. 451-466, 2008 [BibTeX]
• A. Ciabattoni, N. Galatos, K. Terui. From Axioms to Analytic Rules in Nonclassical Logics, in Logic in Computer Science, pp. 229-240, IEEE, 2008 [BibTeX]
• M. Baaz, A. Ciabattoni, N. Preining. SAT in Monadic Goedel Logics: a borderline between decidability and undecidability, in Proceedings of the 16th International Workshop on Logic, Language, Information and Computation, vol. 5514, pp. 113-124, 2009 [BibTeX]
• A. Ciabattoni and G. Metcalfe. Density elimination, in Theor. Comput. Sci., vol. 403(2-3), pp. 328-346, 2008 [BibTeX]
• A. Ciabattoni, G. Metcalfe, F. Montagna. Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, in Fuzzy Sets and Systems, [BibTeX]
• A. Ciabattoni and T. Vetterlein. On the (fuzzy) logical content of CADIAG-2, in Fuzzy Sets and Systems, [BibTeX]
• C.G. Ferm{\"u}ller and G. Metcalfe. Giles's Game and the proof Theory of {\L}ukasiewicz Logic, in Studia Logica, vol. 92, pp. 27-61, 2009 [BibTeX]
• C.G. Ferm{\"u}ller. Revisiting {G}iles -- Connecting Bets, Dialogue Games, and Fuzzy Logics, in Games: Unifying Logic, Language, and Philosophy, O. Majer and A.V. Pietarinen and T. Tulenheimo (ed.), vol. 15, pp. 209-227, Springer, 2009 [BibTeX]
• F. Bobillo and F. Bou and U. Straccia. On the Finite Model Property in Fuzzy Description Logics, [BibTeX]
• Félix Bou and Francesc Esteva and Lluís Godo and Ricardo Oscar Rodriguez. On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice, in Journal of Logic and Computation, 2010 [Download] [BibTeX]
• F. Bou, F. Esteva, J. M. Font, A. Gil, L. Godo, A. Torrens, V. Verdú. Logics preserving degrees of truth from varieties of residuated lattices, in Journal of Logic and Computation, vol. 19(6), pp. 1031-1069, 2009 [Download] [BibTeX]
• F. Bou, F. Esteva, L. Godo, and R. Rodriguez. Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations., in Proc. of the Joint 2009 IFSA World Congress and 2009 EUSFLAT Conference, Lisbon, Portugal, 20-24 July 2009, pp. 1541-1546, 2009 [BibTeX]
• Petr Cintula, Carles Noguera. An abstract approach to fuzzy logics: implicational semilinear logics, in Proceedings of IFSA-EUSFLAT 2009, pp. 519-524, 2009 [Download] [BibTeX]
• Francesc Esteva, Lluís Godo, Carles Noguera. First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, in Annals of Pure and Applied Logic, vol. 161, pp. 185 - 202, 2009 [Download] [BibTeX]
• Francesc Esteva, Lluís Godo, Carles Noguera. On expansions of WNM t-norm based logics with truth-constants, in Fuzzy Sets and Systems, vol. 161, pp. 347 - 368, 2010 [Download] [BibTeX]
• Francesc Esteva, Lluís Godo, Carles Noguera. Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, in Soft Computing, vol. 14, pp. 273 - 284, 2010 [Download] [BibTeX]
• Franco Montagna, Carles Noguera. Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics, in Journal of Logic and Computation, vol. In press, 2010 [Download] [BibTeX]
• Carles Noguera, Francesc Esteva, Lluís Godo. Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, in Information Sciences, vol. 180(8), pp. 1354–1372, Elsevier, 2010 [Download] [BibTeX]
• C.G. Ferm{\"u}ller, Ch. Roschger. Bridges Between Contextual Linguistic Models of Vagueness and T-norm Based Fuzzy Logic, in Proceedings of the 8th Workshop on Uncertainty Processing, T. Kroupa, J. Vejnarova (eds.), pp. 69-78, 2009 [BibTeX]
• Ch. Roschger. Evaluation Games for Shapiro’s Logic of Vagueness in Context, in The Logica Yearbook 2009, M. Pelis (ed.), College Publications, 2010 [Download] [BibTeX]