< BuCal 2017

The aim of this workshop is to start a fruitful collaboration and interaction between the research groups in logic from Bucharest and Cagliari and from some other reputed Italian universities. The talks of the workshop will cover important topics in logic: fuzzy logics, quantum logic, algebraic logic and philosophical logic.

The organizers of the event are Roberto Giuntini (University of Cagliari) and Laurențiu Leuștean (University of Bucharest).

Conference venue

Faculty of Mathematics and Computer Science, "Spiru Haret" amphitheater, ground floor

  • Roberto Giuntini, University of Cagliari
  • Laurențiu Leuștean, University of Bucharest
  • Local organizers

  • Natalia Moangă, University of Bucharest
  • Oana Peiu, ICUB representative


Monday, 25 September, 2017




Antonio Ledda (University of Cagliari)

The Archimedean Property: New Horizons and Perspectives

Afrodita Iorgulescu (The Bucharest University of Economic Studies)

Implicative-groups vs. groups and generalizations

Coffee Break


Davide Fazio (University of Cagliari)

On the structure theory of Lukasiewicz (near) semirings

Karl Svozil (Vienna University of Technology)

Varieties of quantum indeterminism, as perceived from two-values measures on propositional structures

Denisa Diaconescu (University of Bucharest)

Adding modalities to many-valued logics

Social dinner at "Casa Universitarilor" (Strada Dionisie Lupu 46)

Tuesday, 26 September, 2017


Andrei Sipoș (University of Bucharest)

Playing with the logic of Moisil: nuances, games and representations

Giuseppe Sergioli (University of Cagliari)

An operational approach to quantum circuits

Coffee break


Bogdan Dicher (University of Lisbon)

The original sin of the proof-theoretic semantics

Ioana Leuștean (University of Bucharest)

Riesz MV-algebras and their logic


There are non-stop flights to Bucharest from most major European cities and in the Middle-East and connecting flights from the United States, Canada, Australia and New Zealand. Most international flights arrive at Henri Coanda (Otopeni) Airport. Airport facilities include ATM, currency exchange office, Taxi Desk and car rental. The airport is connected with the city center by official taxis and express buses. Bucharest's main train station - Gara de Nord - is a major rail centre with daily connections from/to cities throughout Europe and main cities in Romania. There are daily trains from/to Athens, Belgrade, Budapest, Istanbul, Kiev, Moscow, Prague, Sofia, and Vienna. Trains from/to Western European cities run via Budapest. Bucharest's public transportation network includes: bus (autobuz), tram (tramvai), trolley bus (troilebuz), subway (metrou) and taxi companies. Read more

Bucharest has a full range of accommodation facilities, at different rates and standards. The conference venue is downtown, so we reccomend you to book the accommodation in the center area.

Citizens of virtually all European countries, as well as Australia, Canada, Israel, Japan, New Zealand and the USA, do not require visas to visit Romania for short-stays (up to 90 days). For citizens from other countries, visas are issued at Romanian consulates. The bearers of a visa with 2 or multiple entries, a long-term visa or a residence permit issued by Schengen Member States shall no longer be required to hold a short-stay visa. If you need an official invitation to get the visa, please contact the conference organisers well in advance. Read more