## 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] - .
*From Games to Truth Functions: A Generalization of Giles's Game*, in Studia Logica, Springer, 2011, submitted [BibTeX] - Christoph Roschger.
*Evaluation Games under Vagueness*, 2011 [BibTeX] - .
*Vague and Uncertain Entailment - Some Conceptual Clarifications*, 2011 [BibTeX] - .
*Parallel Dialogue Games and Hypersequents for Intermediate Logics*, in Workshop on Logic and Computation, Kanazawa, Japan, 2011 [BibTeX] - .
*Parallel dialogue games and hypersequents*, 2011 [BibTeX] - .
*Logical Models of Reasoning with Vague Information*, in LogICCC Final Conference, Berlin, Germany, 2011 [BibTeX] - .
*Logic and Vagueness. Report from an Interdisciplinary Battle Ground*, in LogICCC Meets India, New Dehli, 2011 [BibTeX] - .
*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] - .
*Relations between Medieval and Modern Logical Dialogue Games*, in International Medieval Congress 2010, 2010 [BibTeX] - .
*On Dialogue Games for Multi-Valued Logics*, in Logic, Algebra and Truth Degrees - LATD 2010, 2010 [BibTeX] - .
*Is there a role for fuzzy logic in linguistics*, in Workshop on 'Vague Quantities and Vague Quantifiers' VQ2, 2010 [BibTeX] - .
*Formal Rationality Principles in Logical Dialogue Games*, in Logic, Reasoning and Rationality - LRR10, 2010 [BibTeX] - .
*A Generalization of Giles\'s Game*, in Algebra and Substructural Logics - AsubL4, 2010 [BibTeX] - .
*On Giles style dialoques games and hypersequent systems*, in Probability, Uncertainty and Rationality, H. Hosni, F. Montagna (eds.), pp. 169 - 197, Springer, 2010 [BibTeX] - .
*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, ch. 2, College Publications, 2011 [Download] [BibTeX] - .
*Arithmetical complexity of first-order fuzzy logics*, in Handbook of Mathematical Fuzzy Logic, 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, pp. 12, 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, 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, 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] - .
*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*, 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] - .
*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*, 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 , pp. Abstract (in press), 2010 [BibTeX] - .
*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 , pp. Abstract in press, 2010 [BibTeX] - .
*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] - .
*Fuzzy similarity-based reasoning: logical formalizations and some aplications*, in Invited talk at the Graduate School of Engineering Science, Osaka University (Japan), 2009 [BibTeX] - .
*Truthlikeness and graded similarity: some logic-based approaches*, in Workshop on the Logical Foundations of Rational Interaction, Pisa (Italy), November 4, 2009 [BibTeX] - .
*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] - .
*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] - .
*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] - . , 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, vol. 5028, pp. 22-31, Springer, 2008 [BibTeX] - G. Metcalfe and N. Olivetti. , 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] - . , 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] - .
*On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice*, in Journal of Logic and Computation, 2010 [Download] [BibTeX] - .
*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] - .
*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] - .
*On expansions of WNM t-norm based logics with truth-constants*, in Fuzzy Sets and Systems, vol. 161, pp. 347 - 368, 2010 [Download] [BibTeX] - .
*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] - .
*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]