• home
  • programme
  • accepted contributions
  • participants
  • local information
14-17 aprile 2014
Scuola Normale Superiore, 
Pisa

List of accepted contributions (in order of submission) 

  1. Lawrence Peter Belluce, Antonio Di Nola and Giacomo Lenzi. Diophantine Algebraic Geometry for MV-Algebras.
  2. Nicola Galesi and Ilario Bonacina. Space Complexity in Algebraic proof Systems
  3. Luca Bellotti. Von Neumann's consistency proof
  4. Umberto Grandi, Davide Grossi and Paolo Turrini. Pre-Vote Negotiations and Binary Voting with Constraints
  5. Eugenio Moggi. Categories for Collection Types
  6. Maria Emilia Maietti, Samuele Maschio and Takako Nemoto. A Kleene realizability model for the Minimalist Foundation
  7. Matteo Viale. Category forcings and generic absoluteness: steps towards a “complete" axiom system for set theory
  8. Emanuele Frittaion. Reverse mathematics and well-scattered partial orders
  9. Mauro Di Nasso. Applications of nonstandard analysis in combinatorics of numbers
  10. Jan von Plato. Choice sequences in proof theory
  11. Miriam Franchella. Logic according to Brouwer; logic according to Nietzsche
  12. Vincenzo Dimonte. Very Large Cardinals and Combinatorics
  13. Alberto Marcone. From WQOs to Noetherian spaces: some reverse mathematics results
  14. Lorenzo Luperi Baglini. Nonstandard Techniques in Combinatorial Number Theory
  15. Antongiulio Fornasiero. Homotopy theory in definably complete structures
  16. Francesca Poggiolesi. An alternative proof-theoretical approach to standard conditional logics
  17. Paola D'Aquino, Angus Macintyre and Giuseppina Terzo. Zero sets of exponential polynomials
  18. Vincenzo Marra, Daniel McNeill and Andrea Pedrini. The space of directions of a polyhedron
  19. Vincenzo Marra, Daniel Mcneill and Andrea Pedrini. Interpreting Lukasiewicz logic into Intuitionistic logic
  20. Nathanaël Mariaule. p-adic numbers, exponential ring and decidability
  21. Sonia L'Innocente. Rings of definable scalars of some $sl_3(\mathbb{C})$-modules
  22. Luca Motto Ros. The Hurewicz dichotomy for generalized Baire spaces
  23. Enrico Moriconi. Early Structural Reasoning. Gentzen 1932.
  24. Olivia Caramello and Anna Carla Russo. The Morita-equivalence between MV-algebras and abelian l-groups with strong unit
  25. Luca Spada. Dualities and geometry
  26. Claudia Casadio and Michele V. Abrusci. A geometrical representation of the basic laws of Categorial Grammar
  27. Roberto Maieli. Construction of Transitory Nets
  28. Tommaso Flaminio, Lluis Godo and Hykel Hosni. La struttura logica della nozione di evento secondo de Finetti
  29. Hector Freytes. Physical properties as modal operators in the intuitionistic approach to quantum mechanics
  30. Tamara Servi. Quantifier Elimination for generalised quasianalytic classes
  31. Riccardo Bruni and Giacomo Sillari. Logic and strategic rationality: a revision–theoretic perspective
  32. Giorgio Audrito. Absoluteness via resurrection
  33. Sara Negri. On proofs and countermodels
  34. Andrea Strollo. Non standard truths. Toward a model-theoretic taxonomy of (conservative) axiomatic theories of truth
  35. Matteo Pascucci. Defining necessity from contingency: a case study in tense logic
  36. Giulia Battilotti. Simmetry in sequent calculus from quantum computation
  37. Paolo Lipparini. Weak and local versions of measurability
  38. Serafina Lapenta. An extention to the notion of MV-algebras: f MV-algebras
  39. Paolo Pistone. Rules, types and the transcendence of second order logic
  40. Riccardo Camerlo. Epimorphisms between linear orders
  41. Angelo Montanari, Marco Pazzaglia and Pietro Sala. Interval Temporal Logics and Equivalence Relations
  42. Antonino Drago. Which foundation for intuitionistic logic?
  43. Peter Schuster. Controesempi minimali e logica minimale
  44. Vincenzo Mantova. Raising to powers on the unit circle
  45. Giulio Guerrieri and Lorenzo Tortora De Falco. Injectivity of relational semantics with respect to MELL
    proof-nets and the Taylor expansion

  46. Luca San Mauro. "Chi beve molto ha una bella pelle": sul ruolo della logica nei concorsi pubblici
  47. Francesco Ciraulo. Closed subspaces in pointfree Topology
  48. Domenico Cantone, Marianna Nicolosi Asmundo and Ewa Orlowska. A relational dual tableau procedure to decide some fragments of logic of relations
  49. Filippo Calderoni. Forcing e gruppi liberabili
  50. Gemma Carotenuto. On the complexity of $\mathcal{T}-$regular sets
  51. Eugenio Orlandelli. Proof Theory of Quantified Modal Logics
  52. Daisuke Ikegami. Large cardinals, forcing axioms, and the theory of subsets of omega_1.
  53. Laura Crosilla. Epistemological Constructivism
  54. Giulio Pellitta and Ugo Dal Lago. Complexity Analysis in Presence of Control Operators and Higher-Order Functions
  55. Giorgio Laguzzi. Regularity properties and tree forcings

Powered by Create your own unique website with customizable templates.