Events organized by LoMoReVI
- 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...
- November 26-28, 2010
- DIPLEAP, Workshop on Dialogues, Inference, and Proof - Logical and Empirical Perspectives at TU Wien, Austria. Details...
Publications
- Christoph Roschger. Comparing context updates in delineation and scale based models of vagueness, in Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives, Petr Cintula, Christian Fermuller, Lluis Godo, Petr Hajek (eds.), College Publications, 2011, accepted [BibTeX]
- Christian G. Fermüller, Christoph Roschger. From Games to Truth Functions: A Generalization of Giles's Game, in Studia Logica, Springer, 2011, submitted [BibTeX]
- Christoph Roschger. Evaluation Games under Vagueness, in Proof and Dialogues (ProDi), Tübingen, Germany, 2011 [BibTeX]
- Christian G. Fermüller. Vague and Uncertain Entailment - Some Conceptual Clarifications, in Workshop: Conditionals, Counterfactuals and Causes in Uncertain Environments, Düsseldorf, Germany, 2011 [BibTeX]
- Christian G. Fermüller. Parallel Dialogue Games and Hypersequents for Intermediate Logics, in Workshop on Logic and Computation, Kanazawa, Japan, 2011 [BibTeX]
- Christian G. Fermüller. Parallel dialogue games and hypersequents, in Proof and Dialogues (ProDi), Tübingen, Germany, 2011 [BibTeX]
- Christian G. Fermüller. Logical Models of Reasoning with Vague Information, in LogICCC Final Conference, Berlin, Germany, 2011 [BibTeX]
- Christian G. Fermüller. Logic and Vagueness. Report from an Interdisciplinary Battle Ground, in LogICCC Meets India, New Dehli, 2011 [BibTeX]
- Christian G. Fermüller. How to justify your favorite logical system? - A case study, in Workshop STRUCTURAL, Paris, France, 2011 [BibTeX]
- Ivan Kramosil. Lattice-valued Possibilistic Distribution over Lexicographic Ordering, in International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, [BibTeX]
- Ivan Kramosil. Embedding Upper-Semilattice-valued mappings to Complete Lattice-Valued Possibilistic Measures, in Computing and Informatics, [BibTeX]
- Ivan Kramosil. Embedding Upper-Semilattice-Valued Mappings to Complete Lattice-Valued Possibilistic Measures, pp. 10, 2010 [BibTeX]
- Libor Behounek. Comments on \" Fuzzy Logic and Higher-Order Vagueness\\\" by Nicholas J.J. Smith, in Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives, Petr Cintula, Christian Fermuller, Lluis Godo, Petr Hajek (eds.), College Publications, 2011 [BibTeX]
- Ondrej Majer. Comments on \"Vagueness, Tolerance and Non-Transitive Entailment\" by Robert van Rooij, in Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives, Petr Cintula, Christian Fermuller, Lluis Godo, Petr Hajek (eds.), College Publications, 2011 [BibTeX]
- Ondrej Majer. Comments on \\\"Many-Valued Semantics for Vague Counterfactuals\\\" by Marco Cerami and Pere Pardo, in Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives, Petr Cintula, Christian Fermuller, Lluis Godo, Petr Hajek (eds.), College Publications, 2011 [BibTeX]
- . Understanding Vagueness - Logical, Philosophical and Linguistic Perspectives, Petr Cintula, Christian Fermuller, Lluis Godo, Petr Hajek (eds.), College Publications, 2011 [BibTeX]
- Rostislav Horcik. Algebraic Semantics, in Handbook of Mathematical Fuzzy Logic, Petr Cintula, Petr Hajek, Carles Noguera (eds.), College Publications, 2011 [BibTeX]
- Zuzana Hanikova. Computational Complexity, in Handbook of Mathematical Fuzzy Logic, Petr Cintula, Petr Hajek, Carles Noguera (eds.), College Publications, 2011 [BibTeX]
- Petr Hajek, Franco Montagna, Carles Noguera. Arithmetical Hierarchy, in Handbook of Mathematical Fuzzy Logic, Petr Cintula, Petr Hajek, Carles Noguera (eds.), College Publications, 2011 [BibTeX]
- Petr Cintula, Carles Noguera. Abstract Approach to Fuzzy Logics, in Handbook of Mathematical Fuzzy Logic, Petr Cintula, Petr Hajek, Carles Noguera (eds.), College Publications, 2011 [BibTeX]
- Libor Behounek, Petr Cintula, Petr Hajek. Introduction to mathematical Fuzzy Logic, in Handbook of Mathematical Fuzzy Logic, Petr Cintula, Petr Hajek, Carles Noguera (eds.), College Publications, 2011 [BibTeX]
- . Handbook of Mathematical Fuzzy Logic, Petr Cintula, Petr Hajek, Carles Noguera (eds.), College Publications, 2011 [BibTeX]
- Libor Behounek. Feasibility as a gradual notion, in Short Paper EasyChair Proceedings of the 17th International Conference on Logic forProgramming, Artificial Intelligence and Reasoning, Yogyakarta, pp. 5pp, EasyChair proceedings, 2010 [BibTeX]
- Michal Pelis. Logika otazek (Logic of Questions), 2011 [BibTeX]
- Petr Hajek. Computational complexity, arithmetical hierarchy and mathematical fuzzy logic, in Church's Thesis: Logic, Mind and Nature. Trends in Logic IX, Krakow (Poland), June 3-5, 2011, 2011 [BibTeX]
- L. Behounek, P. Cintula. Features of mathematical theories in contraction-free logics, in UniLog2010 Book of Abstracts, J.-Y. Beziau, C. Caleiro, A. Costa-Leite, J. Ramos (eds.), pp. 39, Monte Estoril, Portugal.Industria Portuguesa de Tipografia, Lda., 2010 [BibTeX]
- L. Behounek, U. Bodenhofer, P. Cintula, S. Saminger-Platz, P. Sarkoci. Graded properties of dominance, in Tenth International Conference on Fuzzy Sets Theory and Applications, Abstracts., E.P. Klement, R. Mesiar, P. Struk, E. Drobna (eds.), pp. 31, Armed Forces Academy of General Milan Rastislav Stefanik, 2010 [BibTeX]
- L. Behounek, U. Bodenhofer, P. Cintula, S. Saminger-Platz, P. Sarkoci. Graded properties of t-norms, in Tenth International Conference on Fuzzy Sets Theory and Applications, Abstracts., E.P. Klement, R. Mesiar, P. Struk, E. Drobna (eds.), pp. 30, Armed Forces Academy of General Milan Rastislav Stefanik, 2010 [BibTeX]
- L. Behounek. Extending CantorLukasiewicz set theory with classes, in Lattice-valued Logics and Its Applications, P. Cintula, E.P. Klement, L. Stout (eds.), pp. 14-19, Johannes Kepler University Linz, 2010 [BibTeX]
- L. Behounek, O. Majer. A semantics for counterfactuals based on fuzzy logic, in The Logica Yearbook 2010, M. Pelis, V. Puncochar (eds.), pp. 25-41, College Publications, 2011 [BibTeX]
- L. Behounek, U. Bodenhofer, P. Cintula, S. Saminger-Platz, P. Sarkoci. On a graded notion of t-norm and dominance, in Proceedings of 40th IEEE International Symposium on Multiple-Valued Logic , pp. 73-76, 2010 [BibTeX]
- Ivan Kramosil and Milan Daniel. Statistical Estimations of Lattice-Valued Possibilistic Distributions, in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, W. Liu (ed.), (6717), pp. 688-699, Springer, 2011 [BibTeX]
- Ivan Kramosil and Milan Daniel. Statistical Estimations of Lattice-Valued Possibilistic Distributions, pp. 9, 2010 [BibTeX]
- Michal Pelis and Ondrej Majer. Logic of Questions and Public Announcements, in Eighth International Tbilisi Symposium on Logic, Language, and Computation, N. Bezhanishvili, S. Lobner, K. Schwabe and L. Spada (eds.), pp. 145-157, Springer, 2011 [BibTeX]
- Marta Bilkova, Ondrej Majer, Michal Pelis and Greg Restall. Relevant Agents, in Advances in Modal Logic, Lev Beklemishev, Valentin Goranko and Valentin Shehtman (eds.), vol. 8, pp. 22-38, College Publications, 2010 [BibTeX]
- Lukas Bajer and Martin Holena. Eliptical and Archimedean Copulas for Estimation of Distribution Algorithms, in Proceedings of MIS 2011, Matfyzpress, 2011 [BibTeX]
- Zuzana Hanikova. Expanding Basic Fuzzy Logic with truth constants for component delimiters, in Fuzzy Sets and Systems , [BibTeX]
- Rostislav Horcik. Cancellative residuated lattices arising on 2-generated submonoids of natural numbers, in Lattice-Based Logic and its Applications, 2010 [BibTeX]
- Christoph Roschger, Christian G. Fermueller. From Linguistic Models of Vagueness to t-Norm Based Fuzzy Logic, in ManyVal 2010, 2010 [BibTeX]
- Christian G. Fermüller. Relations between Medieval and Modern Logical Dialogue Games, in International Medieval Congress 2010, 2010 [BibTeX]
- Christian G. Fermüller. On Dialogue Games for Multi-Valued Logics, in Logic, Algebra and Truth Degrees - LATD 2010, 2010 [BibTeX]
- Christian G. Fermüller. Is there a role for fuzzy logic in linguistics, in Workshop on 'Vague Quantities and Vague Quantifiers' VQ2, 2010 [BibTeX]
- Christian G. Fermüller. Formal Rationality Principles in Logical Dialogue Games, in Logic, Reasoning and Rationality - LRR10, 2010 [BibTeX]
- Christian G. Fermüller. A Generalization of Giles\'s Game, in Algebra and Substructural Logics - AsubL4, 2010 [BibTeX]
- Christian G. Fermüller. On Giles style dialoques games and hypersequent systems, in Probability, Uncertainty and Rationality, H. Hosni, F. Montagna (eds.), pp. 169 - 197, Springer, 2010 [BibTeX]
- Christian G. Fermüller. Review: Vagueness and Degrees of Truth, in Australasian Journal of Logic, vol. 9, pp. 1-9, 2010 [BibTeX]
- Marco Cerami and Francesc Esteva. Strict core fuzzy logics and quasi-witnessed models, in Archive for Mathematical Logic, vol. 50(5-6), pp. 625-641, 2011 [BibTeX]
- Felix Bou and Marco Cerami and Francesc Esteva. Finite-valued Lukasiewicz modal logic is PSPACE-complete, in Proceedings of the twenty-second International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 774-780, 2011 [BibTeX]
- Tommaso Flaminio, Lluis Godo, Enrico Marchioni. Reasoning about Uncertainty of Fuzzy Events: an Overview, in Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives, P. Cintula et al. (ed.), College Publications, to appear, 2011 [BibTeX]
- Marco Cerami and Pere Pardo. Many-valued semantics for vague counterfactuals, in Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives, P. Cintula et al. (ed.), College Publications, to appear, 2011 [BibTeX]
- Pere Pardo; Pilar Dellunde; Lluis Godo. Argumentation-based Negotiation in t-DeLP-POP, in Proc. of CCIA 2001, to appear, IOS Press, 2011 [BibTeX]
- Pere Pardo, Sergio Pajares, Eva Onaindia, Lluis Godo, Pilar Dellunde. Multiagent Argumentation for Cooperative Planning in DeLP-POP, in Proceedings of the 10th Conference on Autonomous Agents and Multiagent Systems (AAMAS), Tumer, Yolum, Sonenberg and Stone (eds.), pp. 971-978, IFAAMAS, 2011 [Download] [BibTeX]
- Cortonesi T., Marchioni E., Montagna F.. Model theory of BL algebras, in Notre Dame Journal of Formal Logic, 2011 [BibTeX]
- Angel Garcia-Cerda\~na, Eva Armengol and Pilar Dellunde. Similarity for attribute-value representations in Fuzzy Description Logics, in Proc. CCIA'10, pp. 269-278, IOS Press, 2010 [BibTeX]
- Eva Armengol, Pilar Dellunde and Angel Garcia-Cerda\~na. On Similarities in Fuzzy Description Logics, in Logic, Algebra and Truth Degrees 2010, pp. 44-49, 2010 [BibTeX]
- Angel Garcia-Cerda\~na, Marco Cerami and Francesc Esteva. From Classical Description Logic to n-graded Fuzzy Description logics, in Proc. of FUZZ-IEEE 2010, pp. 1506-1513, 2010 [BibTeX]
- Pere Pardo and Lluis Godo. t-DeLP: a temporal extension of the defeasible logic programming argumentative framework, in SUM 2011, Lecture Notes in Artificial Intelligence, to appear, Springer, 2011 [BibTeX]
- Teresa Alsinet, Ramon Bejar and Lluis Godo. A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics, in 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010. Lecture Notes in Artificial Intelligence, vol. 6433, pp. 40-49, Springer, 2010 [BibTeX]
- Teresa Alsinet, Ramon Bejar and Lluis Godo. A characterization of collective conflict for defeasible argumentation, in Third International Conference on Computational Models of Argument, COMMA 2010., P. Baroni et al. (ed.), pp. 27-38, IOS Press, 2010 [BibTeX]
- Francesc Esteva, Lluis Godo, Ricardo Rodriguez and Thomas Vetterlein. Logics for approximate and strong entailments, in Fuzzy Sets and Systems, To appear, 2011 [BibTeX]
- Petr Cintula and Carles Noguera. A general framework for Mathematical Fuzzy Logic, in Handbook of Mathematical Fuzzy Logic, P. Cintula, P. Hájek, C. Noguera (eds) (eds.), ch. 2, College Publications, 2011 [Download] [BibTeX]
- Petr Hájek, Franco Montagna and Carles Noguera. Arithmetical complexity of first-order fuzzy logics, in Handbook of Mathematical Fuzzy Logic, P. Cintula, P. Hájek, C. Noguera (eds) (eds.), ch. 11, College Publications, 2011 [Download] [BibTeX]
- Carles Noguera. From fuzzy set theory to mathematical fuzzy logic, in Proceedings of the Tenth International Conference on Fuzzy Set Theory and Applications FSTA 2010, E.P. Klement, R. Mesiar, P. Struk, E. Drobná (eds) (eds.), pp. 12, Printing House of the Armed Forces Academy of General M.R. Stefánik in Liptovský Mikulás, 2010 [BibTeX]
- Petr Cintula and Carles Noguera. Logics with a (lattice) disjunction and their completeness properties, in Proceedings of the 31st Linz Seminar on Fuzzy Set Theory "Lattice-Valued Logic and its Applications", P. Cintula, E.P. Klement, L. Stout (eds) (eds.), pp. 26 - 30, Universitätsdirektion, Johannes Kepler Universität, 2010 [BibTeX]
- Petr Cintula and Carles Noguera. A general approach to non-classical first-order logics, in 3rd World Congress and School on Universal Logic UniLog 2010 - Book of Abstracts, Y. Beziau, C. Caleiro, A. Costa-Leite, J. Ramos (eds.), pp. 11-12, Industria Portuguesa de Tipografia Lda, 2010 [BibTeX]
- Isaac Pinyol; Jordi Sabater-Mir; Pilar Dellunde; Mario Paolucci. Reputation-Based Decisions for Logic-Based Cognitive Agents, in Journal of Autonomous Agents and Multi-Agent Systems, In Press, [BibTeX]
- Petr Cintula and Carles Noguera. Implicational logics vs. order algebraizable logics, in Logic, Algebra and Truth Degrees 2010 - volume of abstracts, K. Chvalovský, P. Cintula, C. Noguera (eds) (eds.), vol. 502, pp. 72 - 73, 2010 [BibTeX]
- Pilar Dellunde. Preserving Mappings in Fuzzy Predicate Logics, in Journal of Logic and Computation, In Press, [BibTeX]
- Petr Cintula and Carles Noguera. (Non-associative) Substructural Fuzzy Logics, in Algebraic Semantics for Uncertainty and Vagueness - Booklet of abstracts, pp. 31 - 37, [BibTeX]
- Francesc Esteva, Lluís Godo and Carles Noguera. Fuzzy logics with truth hedges revisited, in Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and LFA-2011, Advances in Intelligent Systems Research, Sylvie Galichet, Javier Montero, Gilles Mauris (eds), (eds.), pp. 146 - 152, 2011 [BibTeX]
- Petr Cintula and Carles Noguera. Amost (MP)-based substructural logics, in Fifth International Conference on Topology, Algebra, and Categories in Logic, L. Santocanale, N. Olivetti, Y. Lafont (eds.), pp. 71 - 74, 2011 [BibTeX]
- Petr Cintula and Carles Noguera. The proof by cases property and its variants in structural consequence relations, in Studia Logica, Submitted [Download] [BibTeX]
- Tommaso Flaminio, Lluis Godo, Enrico Marchioni. Belief Functions on MV-algebras of Fuzzy Events Based on Fuzzy Evidence, in ECSQARU 2011, Symbolic and Quantitative Approaches to Reasoning with Uncertainty. LNAI, Weiru Liu (ed.), vol. 6717, pp. 628-639, Springer, 2011 [BibTeX]
- Tommaso Flaminio, Lluis Godo, Enrico Marchioni. Geometrical aspects of possibility measures on finite domain MV-clans, in Soft Computing - A Fusion of Foundations, Methodologies and Applications, In press, 2011 [BibTeX]
- Tommaso Flaminio, Lluis Godo, Enrico Marchioni. On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events, in Journal of Logic and Computation, vol. 21(3), pp. 429-446, 2011 [BibTeX]
- Karel Chvalovsk{\'y}. On the Independence of Axioms in BL and MTL, in Fuzzy Sets and Systems, [BibTeX]
- 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, L. Godo, R.O. Rodriguez, T. Vetterlein. On the logics of similarity-based approximate and strong entailment, in XV Congreso Espa\~ñol sobre Tecnologías y Lógica Fuzzy ESTYLF 2010, pp. 187-192, 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ü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, vol. 52, pp. 63-75, 2011 [BibTeX]
- E. Marchioni. The model-theoretic approach to many-valued logics: A survey, in Logical Models for Reasoning with Vague Information.Cejkovice (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 Conditioning in 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-Cerdañ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]
- 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, in Archive for Mathematical Logic, vol. 49, pp. 417 - 446, 2010 [Download] [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 Current Topics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol. 5988, pp. 82-92 , Springer, 2010 [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]
- 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]
- F. Bobillo and F. Bou and U. Straccia. On the Failure of Finite Model Property in some Fuzzy Description Logics, in Fuzzy Sets and Systems, vol. 171, pp. 1-12, 2011 [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. 20, pp. 399 - 424, 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]