ACCEPTED CONTRIBUTED TALKS
(see also lists of contributed talks in special sessions)

Bernardo Alonso, Dpt of Philosophy, Federal University of Rio de Janeiro, Brazil and University of Hertfordshire, UK, "Information overload and the entailment property in the Logic of being informed"

Doroteya Angelova, Institute of Philosophical Researchy, Bulgarian Academy of Sciences, "Paraconsistent and paracomplete logics: or how to treat logical pluralism "

Arnon Avron, Jonathan Ben-Naim and Beata Konikowska, Tel-Aviv University, School of Computer Science, Israel - University Paul Sabatier, IRIT, France - Institute of Computer Science, Polish Academy of Sciences, Poland, "Logics of reasonable information sources"

Mathieu Beirlaen, Centre for Logic and Philosophy of Science, University of Ghent, Belgium, "Some qualitative adaptive logics of confirmation"

Piotr Blaszczyk, Institute of Mathematics, Pedagogical Universiyt of Krakow, Poland, "About the point where Achilles catches up with the Tortoise"

Francesca Boccuni, Department of Philosophy, University of Padua, Italy, "Plural logicism"

Zbigniew Bonikowski, Urszula Wybraniec-Skardowska, Institute of Mathematics and Computer Science, University of Opola and Autonomous Section of Applied Logic, Poznań School of Banking and Poland, "A generalization of certain set-theoretical operations"

Rainhard Z. Benguez, Dpt of Philosophy of Science, Technology and Engineering, Technology University of Munich, Germany, "On Gödel's completeness theorem"

Selmer Bringsjord & Joshua Taylor, Dpt of Computer Science
Rensselaer Polytechnic Institute (RPI), Troy, NY, USA,
"The cognitive path to universal Logic"

Ramon S. Capelle de Andrade and Itala M.L. D'Ottaviano, Center ofr Logic, State University of Campinas - UNICAMP, Brazil, "Implication and causation: a realistic perspective"

Saloua Chatti, Faculty of Human Sciences, University of Tunis, "Referential opacity and epistemic logic"

Shih-Hsun Chen, Institute of Philosophy, National Chung-Cheng University, Taiwan, "On the Appropriateness of Taking RCS(R3) as Domain of Region -- Why ROS(R3) is a good model of regions?"

Yue Chen, Ray Jennings and J.Sahasrabudhe, Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Canada, "Hypergraph as a semantic idiom"

Leonardo Cabrer and Norbert Preining, Japanese Advanced Institute of Science and Technology, Research Center for Integrated Science, Japan, "The semantic hierarchies of first-order Gödel logics algebra versus Kripke frames'"

Jean-Pierre Desclès and Anca Christine Pascu, LaLIC, University of Paris-Sorbonne and University of Occidental Britain, France, "The logic of determination of objects - LDO, how to articulate 'extension' with 'intension', and 'objects' with ' concepts'"

Elena Dragalina-Chernaya, Moscow Higher School of Economics, Russia, "The binary quantifiers perspective on logicality"

Catarina Dutilh-Novaes, ILLC, University of Amsterdam, "The undergeneration of permutation invariance as a criterion for logicality"

Oscar Esquisabel, National University of La Plata - CONICET, National University of Quilmes and Catholic University, Argentina, "Leibniz: mathesis universalis, logic and science of forms"

Luiz Estrada-Gonzalez, Autonomous University of Morelos State, Mexico, "On the necessaey properties of logical consequence"

Katarzyna Gan-Krzywoszynska and Piotr Lesniewski, Poncaré Archives, University of Nancy 2, France - Institute of Philosophy, Department of Logic and Methodology of Science, Adam Mickiewicz University, Poznań, Poland, "One fundamental question: Vuillemin between two Lukasiewicz's answers"

Juan Luis Gastaldi, Dpt of Philosophy, University of Bordeaux 3, France, "Logic and philosophy in the work of Kant and Hegel. The philosophical conditions for a general logic"

Yvon Gauthier, Dpt of Philosophy, University of Montréal, Canada , "Modular polynomial logic"

Emmanuel Genot and Shahid Rahman, Dpt of Philosophy, University of Lille 3, France, "A dialogical semantics for interrogative consequence"

Rafalea Giovagnoli, Dpt of Philosophy, University of Rome 2, Italy , "From single to relational scoreboards"

Ricardo Mendes Grande, Dpt of Philosophy, State University of Campinas - UNICAMP, Brazil, "On the applicability of mathematics"

Katarzyna Grygiel, Theoretical Computer Science Dpt, Jagiellonian University, Krakow, Poland, "Lambda calculus vs combinatory logic: quantitative approach"

Paul Healey, London, UK " Understandings of logic sublated by the dialectic"

Ole Hjortland, Arché Research Centre, Department of Philosophy, The University of St Andrews, Scotland " Categoricity and Non-Classical Logics"

Dale Jacquette, Dpt of Philosophy, University of Bern, Switzerland , "An argument for universal logic: troubles relativizing truth-fucntions in Traski's truth-schemata hierarchy"

Amy D.Karofsky, Dpt of Philosophy, Hofstra University, USA "Conditionals and contingentarianism"

Yaroslav Kokhan, Institute of Philosophy of National Academy of Sciences of Ukraine, "Semantical presupositions in logical syntax"

Zofia Kostrzycka, University of Technology, Opole, Poland, "Locally finite logics have the density"

Boris Kovalerchuk and Leonid Perlovsky, Central Washington University, USA - Harvard University and AFRL, USA, "On dynamic logic for phenomena modeling"

Jui-Lin Lee and Che-PIng Su, National Formosa University, Taiwan, "A remark on the minimality of omega"

Javier Legris, Center of Philosophical Studies - CONICET, National Academy of Sciences, Buenos Aires, Argentina, "Universality as generality: the case of Ernst Schröder's pasygraphy"

Domenico Lenzi, Dpt of Mathematics, University of Salento, Italy , "On a particular axiomatization of propositional calculus with the negation and the Implication as the unique connectives"

Maria Emilia Maietti, Dpt of Pure and Applied Mathematics, University of Padua, Italy , "The role of the quotient completion for the foundations of constructive mathematics"

Maria Manzano and Enrique Alonso, University of Salamanca and Autonomous University of Madrid, Spain, "Completeness: actors, history, and meaning"

Maria Manzano and Luis Urtubey, University of Salamanca, Spain and National University of Cordoba, Argentina, "Completeness and interpolation with a standard abstract consequence relation"

Federico Marulanda, Institute of Philosophical Research - UMSNH, Morelia, Mexico, "Limitations of axiomatic dialetheic truth theory"

Joke Meheus, Centre for Logic and Philosophy of Science, University of Ghent, Belgium, "Adaptive deontic logics for various types of normative conflicts"

Michael Moortgat, Utrecht Institute of Linguistics, The Netherlands, "Tertium non datur in the Lambek-Gtishin calculus"

Alessio Moretti, Dept of Philosophy, University of Nice, France, "The Aristotelean pq-semantics and their pq- lattices"

Ional Narita, Dpt of Philosophy, West University of Timisoara, Romania, "Decision method for the paradoxes of material implication"

Raja Natarajan, Tata Institute of Fundamental Research, Mumbai, India, "Computer aided proof"

Grigory K. Olkhovikov, Dpt of Philosophy, Urals State University, Russia, "Ross’s Paradox: A New Approach"

Fabrice Pataut, IHPST, Paris, France, "Anti-realism, strict finitisn and structural rules"

Oxana Pavlenko, Southern Federal University, Russia, "The place of logic structure "question-answer" in dialogue theory of understanding"

Sergey Pavlov, Dpt of Logic, Institute of Philosophy of Russian Academy of Sciences, Moscow, Russia, "Truth and falsehood logical operators from the point of view of universal logic"

Gillman Payette, Dpt of Philosophy, University of Calgary, Canada, "Preservationism and Truth"

Andrea Pedeferri, Dpt of Philosophy, University of Milan, Italy, "Some remarks about the status of second order logic"

Denis Ponomaryov, Institute of Informatics Systems, Novosibirsk, Russia, "On decomposability in logical calculi"

Frederik Van de Putte, Centre for Logic and Philosophy of Science, University of Ghent, Belgium, "Three Adaptive Logics of Induction"

A.V. Ravishankar Sarma, Dpt of Humanities and Social Sciences, Institute of Technology, Kanpur, India, "Abductive reasoning in belief revision"

Hélio Rebello Cardoso Jr, Dpt of Philosophy, State University of São Paulo, Brazil, "Peirce's logic of relatives and the pluralism of continuity"

Gemma Robles, Dpt History and Philosophy of Science, University of La Laguna, Spain, "Disjunctive syllogism. Lewis's modal logic and paraconsistency"

Cassiano Terra Rodrigues, Dpt of Philosophy, Pontifical Catholic University of São Paulo, Brazil, "Deduction, induction and abduction according to C.S.Peirce: necessity, probability, discovery"

Francisco J.Salgueiro-Lamillar, Angel Nepomuceno-Fernandez, Fernando Soler-Toscano, Emilio Gomez-Caminero, Logic, language and information Group, University of Sevilla, Spain, "Knowing and applying rules: tableaux for mixed modal deontic-epistemic logics"

Denis I. Saveliev, Moscow State University, Russia, "Completeness in infinitary logic"

Marcos Silva, Dpt of Philosophy, Leipzig University, Germany and Pontifical Catholic University of Rio de Janeiro, Brazil, "Truth Tables as metaphysics: sense, calculus and limits of expression in Wittgenstein’s Tractatus"

Luiz Henrique da Cruz Silvestrini and Marcelo Esteban Coniglio, Dpt of Philosophy, State University of Campinas - UNICAMP, Brazil, "Pragmatic satisfaction and quasi-truth"

Shashi M. Srivastava, Indian Statistical Institute, Kolkata, India, "Some parametrization theorems for measurable sets with uncountable sections"

Petros Stefaneas, Dpt of Mathematics, National Technical University of Athens, Greece, "On institutions and proof events"

Jendrik Stelling, Dpt of Computer Science, Leipzig University, Germany, "Are truth-values algebraic?"

Gabriela Steren and Ariel Arbiser, Faculty of Exact and Natural Sciences, University of Buenos Aires, Argentina, "Combinatory logics for lambda calculi with patterns"

Christian Strasser, Centre for Logic and Philosophy of Science, University of Ghent, Belgium, "Adaptively applying modus ponens in conditional Logics of normality"

Thomas Studer, Logic Group, University of Bern, Switzerland, "Syntactic cut-elimination for modal fixed point logics"

Kordula Świętorzecka and Johannes Czermak, Institute of Philosophy
University of Cardinal St. Wyszynski in Warsaw, Poland - Department of Mathematics, Salzburg University, Austria,
"Some calculus for a logic of change"

Tinko Tinchev, Sofia University St Kliment Ohridski, Bulgaria, "Universal fragments of the logics of the strong contact and the strong connectedness"

Francisco Torrens and Gloria Castellano, Institute of Molecular Science and Institute of Science of Natural Environment and Marine Sciences, Catholic University of Valencia, Spain, "Pseudoscientific fallacies"

Ivan José Varzinczak, Johannes Heidema, Katarina Britzadimir, Meraka Institute and University of South Africa, Pretoria, South Africa, "Pertinent Entailment"

Vladimir Vasyukov, Dpt of Logic, Institute of Philosophy of Russian Academy of Sciences, Moscow, Russia, "From logical to metalogical pluralism"

Sheila Veloso, Paulo Veloso and Paula Veloso State University of Rio de Janeiro, UERJ - Federal University of Rio de Janeiro, UFRJ and University of São Paulo, USP, Brazil, "Piaget-like transformation in universal logic"

Peter Verdée, Centre for Logic and Philosophy of Science, University of Ghent, Belgium and ILLC, Amsterdam, "Rich set theory using adaptive logic"

Jørgen Villadsen, Technical University of Denmark, "Nominalistic logic"

Alexey G. Vladimirov, Maymonid State Classiacal Academy, Moscow, Russia, "Completeness in infinitary modal logic"

Urszula Wybraniec-Skardowska and Jacek Waldmajer, Autonomous Section of Applied Logic, Poznań School of Banking and Dpt of Philosophy University of Opola, Poland, "On consequence operations"

Stephan van der Waart van Guliketer and Peter Verdée, Centre for Logic and Philosophy of Science, University of Ghent, Belgium, "Gaining insight: towards a functional characterization of information in formal logics"

Tomoyuki Yamada, Dpt of Humanities and Human Scinces, Hokkaido University, Japan, "Acts of withdrawing in dynamic logic of propositional commitments"

Aziz F. Zambak, Dpt of Philosophy, Yeditepe University, Istanbul, Turkey, "A Trans-logic system for machine intelligence: the transformation of data within various logical systems"


If your paper has been accepted but does not appear here
write to unilog2010@gmail.com