Weekly Seminars
Upcoming Seminars
May 16, 2024 - h. 3:00 pm, aula 13: José Luis Castiglioni, Assume-guarantee contracts from an algebraic point of view.
May 30, 2024 - h. 11:00 am, aula 9: Paolo Mancosu, Tre applicazioni di un teorema di Zermelo sulla relazione parte-tutto.
June 6, 2024 - h. 9:00 am - 2:00 pm, aula 15: Logics of variable inclusion (Part 1), Workshop (T. Jarmuzek, D. Szmuc, N. Zamperlin, M. Zirattu)
June 13, 2024 - h. 9:00 am - 2:00 pm, aula B (Palazzo delle Scienze): Logics of variable inclusion (Part 2), Workshop (T.M. Ferguson, P. Jipsen, F. Paoli, M. Pra Baldi).
June 20, 2024 - h. 4:00 pm, aula B (Palazzo delle Scienze): Peter Jipsen, Introduction to residuated lattices.
Past Seminars
2024
February 16 -Universal algebra and logic: exploring the foundations through monoids (A. Salibra); On contextuality and unsharp quantum logic (D. Fazio)
January 16 - Macchine naturali e verità contingenti in Leibniz (A. Becchi)
2023
November 16 - On Bochvar external logic and Bochvar algebras (S. Bonzio); Multi-relation Agassiz sums of algebras (F. Paoli)
October 4 - The elimination of metaphysics through the epistemological analysis of underdetermination (R.W. Arroyo).
September 21 - Logics with unsharp negation and implication (I. Chajda)
June 29 - Verità e fatalismo. Appunti per la storia di un'idea da Aristotele a Łukasiewicz (A. Becchi)
June 23 - The Physical Signature of Computation: A Robust Mapping Account (G. Piccinini)
June 6 - Some remarks on the logic of probabilistic relevance (D. Fazio)
January 25 - States and faithful states of MV-algebras (T. Flaminio)
January 20 - On partial Boolean algebras (D. Fazio)
2022
December 1 - Canonical, co-canonical, and combined sequent calculi for classical logic (D. Szmuc)
September 21 - Operator residuation in orthomodular posets of finite height (I. Chajda)
September 16 - New Perspectives in Logic and Philosophy of Science (workshop)
July 22-23 - Second Workshop on Relating Logics (workshop)
July 18-20 - Trends in Logic 22: Strong and weak Kleene logics (workshop)
June 30 - Embedding metric Boolean algebras in R^n (S. Bonzio)
June 9 - Restricted rules of inference and paraconsistency (S. Basu)
May 12 - Atomic and Molecular Logics: Some Model and Proof Theoretic Aspects (G. Aucher)
May 3 - Frame definability in finitely-valued modal logics (C. Noguera)
April 27 - Topos quantum theory with short posets (J. Harding)
April 21 - Some algebraic approaches to reasoning about propositional while programs (I. Sedlár)
April 7 - An Overview of Subreducts, Horizontal Sums and Subvarieties of PBZ*-lattices (C. Muresan)
March 17 - On Turner's anti-normativism and its implications. (P. Salis)
March 10 - Twist-Algebras, Nuclei and Conuclei. (U. Rivieccio)
March 3 - Kapsner Complementation. (A. Tedder)
February 23 - Universal clone algebra. (A. Salibra)
February 18 - Amalgamation and interpolation in idempotent residuated structures. (W. Fussner)
February 10 - On Finch's conditions for the completion of orthomodular posets. (D. Fazio)
February 1 – Severe ignorance via Bochvar External Logic. (S. Bonzio)
January 27 – Intuitionistic logic is a connexive logic. (F. Paoli)
January 14 – UNESCO World Logic Day (Organized by SILFS-AILA)
2021
December 15 - Natural deduction in quantum logic. (A. Kornell)
December 9 - A survey of residuated ortholattices. (G. St. John)
December 2 - From residuated lattices to l-groups via free nuclear preimages. (A. Prenosil)
November 25 - Classical monorelating logic and its fragments. Theory and applications Part 3. (M. Klonowski)
November 18 - Modal Kleene logics for vagueness. (N. Zamperlin)
November 11 - Classical monorelating logic and its fragments. Theory and applications Part 2. (M. Klonowski)
November 4 - Classical monorelating logic and its fragments. Theory and applications Part 1. (M. Klonowski)
October 28 - Join irreducible varieties of residuated lattices. (S. Ugolini)
October 20 - Left variable inclusion logics associated with classical logic. (M. Pra Baldi)
October 7 - Filter classes of upsets of distributive lattices (A. Prenosil)
September 28 - Sequent calculi for quantum logic and related structures (G. St. John)
September 20 – Adjoint operators in twist products of lattices (I. Chajda)
June 8 – Decidability and Complexity in Substructural Logics extending FLec and FLew (R. Ramanayake)
May 25 – Nelson conucleus algebras as semantics for paraconsistent logics and their twist-product representation (N. Galatos)
May 18 – Bealer’s intensional logic (C. Protin)
May 11 – Not all logics are created equal (M. Carrara)
May 05 – Quantum information with photons: an introduction (L. Knoll)
May 04 – Lambek-Grishin Calculus: Focusing, Display and Full Polarization (G. Greco)
April 27 – A Modal Truthmaker Semantics and its Applications (G. Rosella)
April 20 – From unified correspondence to parametric correspondence: preliminary considerations (A. Palmigiano)
April 12 – An informational view of classical logic: some recent developments (M. D’Agostino)
April 09 – Extended distributed cognition, mechanisms, and the nature of cognitive phenomena (S. Pinna)
March 25 – Deep Learning, Big Data, and Locked Strategies: The Epistemology of Eco-Cognitive Openness (L. Magnani)
March 23 – A constructionist defence of the metainferential conception of logic (B. Dicher)
March 16 – Orthogonality spaces, Hermitian spaces, and structure-preserving maps between them (T. Vetterlein)
March 11 – States over Plonka sums of Boolean algebras (S. Bonzio)
February 23 – Translating orthomodular lattices (W. Fussner)
February 16 – Strong depth relevance (S. Logan)
February 9 – From subordination to slanted canonicity (L. De Rudder)
January 19 – Ordinal sums in integral residuated lattices (S. Ugolini)
January 14 – CIPHS-UNESCO World Logic Day (Workshop, talks by M.L. Dalla Chiara, P. Mancosu)
January 12 – On modal translations of many-valued logics (E. Koubychkina)
2020
December 15 - Generalized coherence vector: definition and properties (M. Bosyk)
December 11 - An application of Helstrom quantum classifier to biomedical imaging (G. Sergioli)
December 7 - On a logico-algebraic approach to AGM belief revision (D. Fazio - M. Pra Baldi)
November 24 - An algebraic theory of clones with an application to a question of Birkhoff and Maltsev (A. Salibra)
November 17 - Misure quantistiche e Machine Learning (R. Giuntini)
November 10 - Decidability for fragments of residuated lattices axiomatized by simple equations (G. St. John)
September 18 - Paraorthomodular posets (I. Chajda)
July 14th - On a problem by Birkhoff and Maltsev (A. Salibra)
June 18th - Extensions of PWK (M. Pra Baldi)
June 11th - Modal logic for induction (G. Fellin)
April 28th - Quantum and Beyond [Workshop]
April 24th - Abstract algebraic belief revision (D. Fazio, M. Pra Baldi)
April 23rd, h. 11 - Reading seminar, B. Jonsson "Amalgamation in small varieties of lattices" (M. Pra Baldi)
April 17th - Left residuated unital l-groupoids (D. Fazio, A. Ledda, F. Paoli)
April 10th - Logical happening: ideas and suggestions for future research
April 3rd - Reading seminar, J. Gil Férez et al. "Self-cancellative residuated lattices" (D. Fazio)
March 27th - Reading seminar, C. van Alten "Congruence properties in congruence permutable and ideal determined varieties" (F. Paoli)
February 20 - Orthomodular lattices: proof theory and completions (D. Fazio, A. Ledda, F. Paoli)
February 13 - Approccio quantistico al machine learning (R. Giuntini)
January 14 - When Logic meets Quantum: Structures and Foundations (2nd World Logic Day)
2019
December 6 - Many-valued logic and sequence arguments in value theory (S. Knutsson)
October 11 – Discussione sulle relazioni tra logica formale e pensiero reale (E. Gattico, M. Santambrogio)
September25 – Exercise Oncology in Practice – From philosophy of physics to biomedicine in 5 years (A. Hagar)
September 20 – Relatively residuated lattices (I. Chajda)
September 9 – Residuated structures and quantum structures: Logic, algebra and applications [Workshop]
June 27 – Assertion, consequence, and connexive logic (R. Ciuni)
June 25 – Sure-wins under coherence (S. Bonzio)
June 13 – Application of relating semantics to connexive, deontic, and epistemic logics (T. Jarmuzek)
June 12 – An introduction to relating semantics (T. Jarmuzek)
May 17 – Algebraic Logic [Reading Group]
May 15 – Algebraic Logic [Reading Group]
May 7 – Analyzing metaphor in argumentative discourse (J. Wagemans)
May 2 – Combining metaphor theory and argumentation theory (J. Wagemans)
April 17 – Algebraic Logic [Reading Group]
April 9 – Algebraic Logic [Reading Group]
April 1 – Il problema dei problemi (P. Di Martino)
March 29 – Epistemologia, ontologia e dintorni: il caso di N. Hartmann (P. Parrini, R. Lanfredini, S.L. Pinna)
March 21 – Everything and nothing (G. Priest)
March 13 – Using phidelta diagrams to discover relevant patterns in multilayer perceptrons (G. Armano); A new quantum approach to binary classification problems (G. Sergioli)
March 7 – Algebraic Logic [Reading Group]
February 25 -First Bilateral Workshop UNAM-UNICA on Philosophical Logic [Workshop]
February 22 – Analytical Philosophy in Mexico [Roundtable]
January 28 -February 4 – Quantum Information Theory and Geometry of Quantum Information (P. Verrucchi)
January 14 – 1st World Logic Day. New frontiers of Logic: Algebraic and Physical perspectives [Workshop]
2018
November 27 - Quantali mix *-autonomi e l'ordine debole (di Bruhat) continuo (L. Santocanale)
November 22 - Zariski algebras (I) (A. Salibra); On modeling dependencies in event structures (M. Pinna)
November 16 - An introduction to residuated lattices II (F. Paoli)
November 7 - An introduction to residuated lattices I (F. Paoli)
October 16, Algebraic logic [Reading Group]
October 8-10, Quantum Cagliari 2018: Quantum Structures and Quantum Information [Workshop]
October 5 - Replacing hypersequents by bounded cuts (T. Lang)
September 24 - Just supposin': Argumentation and metaphor final workshop [Workshop]
September 21 - Operator residuation in ordered sets (I. Chajda)
June 11-13 - Algebra and Substructural Logics, Take 6 [Workshop]
June 01 - I paradossi dell’infinito: tematiche classiche e prospettive attuali (P. Mancosu)
May 16 - Coscienza, riabilitazione, guarigione (S. Tagliagambe - D. Sirigu - G. Biggio)
May 10 - Livelli di coscienza associabili a rappresentazioni neurali (C. Sinigaglia - F. Marrosu)
May 04 - Algebraic logic [Reading Group]
April 18 - Un curricolo verticale incardinato sulla matematica (G. Lolli)
April 09 - Curve ellittiche e crittografia. Un'introduzione. II (A. Salibra)
March 23 - Curve ellittiche e crittografia. Un'introduzione. I (A. Salibra)
March 16 - Amalgams of orthomodular lattices (C. Muresan)
March 09 - How many congruences can a finite lattice have? III (C. Muresan)
March 02 - How many congruences can a finite lattice have? II (C. Muresan)
February 23 - How many congruences can a finite lattice have? I (C. Muresan)
February 09 - Logics of variable inclusion: Algebraic models and axiomatisation (M. Pra Baldi)
2017
December, 12th - Algebraic logic [Reading Group]
December, 5th - Algebraic logic [Reading Group]
December, 1st - Intelligenze artificiali: un percorso logico (F. Bianchini)
November, 24th - Logic and plurality [Workshop] (speakers: E. Erickson - O. Hjortland - J. Marcos - E. Mares - F. Paoli)
November, 8th - The regularization of a propositional logic (S. Bonzio)
October, 27th - Representation of lattice pseudo-effect algebras (P. Ševčík)
October 19th - Finite coverability property (M. Broušek)
October 13th - New horizons for the Archimedean property (A. Ledda)
October 6th - Transferring Davey’s theorem on annihilators and m-completeness to modular congruence lattices and rings (C. Muresan)
September 25-27 - BUCAL. Alophis in Bucharest [Workshop]
September 22th - Weakly orthomodular lattices (I. Chajda)
July 25th - Information, belief, knowledge. Epistemic logics for sceptical agents (M. Bilkova); Multi-type algebraic proof theory (G. Greco)
July 21st - A gentle introduction to Mathematical Fuzzy Logic III (P. Cintula)
July 13th - A gentle introduction to Mathematical Fuzzy Logic II (P. Cintula)
July 7th - A gentle introduction to Mathematical Fuzzy Logic I (P. Cintula)
June 26th - Vaghezza (E. Paganini)
June 16th - Negations and truth perspectives in quantum computation (R. Venkatrama)
June 8-9 - Alophis in Milan [Workshop]
June 1st - Quantum states as measures (F. Holik)
May 25-26 - Metaphor and Argumentation [Workshop]
May 19th - The Cantor-Bernstein-Schroeder theorem in universal algebra (H. Freytes)
May 10th - Time, action and determination of the past (S.L. Pinna)
May 5th - Williamson, Gentzen-style rules, and the epistemology of logic (P. Salis)
April 28th - Inferentialism and consequence relations (B. Dicher)
April 21th - A generalisation of the Swap gate (G. Sergioli)
April 5th - Formal methods and the flux of life [Workshop] (speakers: P. Ohrstrom - M. Prior - V. Fano)
March 31th - A quantitative and a qualitative study on metaphor in argumentation: few ideas (A. Ojha - F. Ervas)
March 24th - Ideals in Lukasiewicz semirings (D. Fazio)
March 17th - Logic, computation, theory of languages III (A. Salibra)
March 10th - Logic, computation, theory of languages II (A. Salibra)
March 2nd - Logic, computation, theory of languages I (A. Salibra)
February 17th - The strong version of a logic: a case study (M. Pra Baldi)
February 10th - Extended computational systems (S. Pinna)
February 3rd - An equational theory for sigma complete MV algebras (H. Freytes)
January 25th - Internal/external logical pluralism (B. Dicher)
January 18th - Logical pluralism [Reading Group]
January 11th - Pictorial depiction of metaphors and other figures of speech (A. Ojha)
2016
December 14th - Sequent calculi for paraconsistent three-valued logics (S. Bonzio)
December 5th - The square root of the negation: Welcome home bro (F. Paoli)
December 2nd - Anaphoric deflationism, primitivism, and the truth-property (P. Salis)
November 23rd - Prior and the Master Argument (F. Corpina)
November 18th - Deterministic computations and critical pairs in term rewriting systems (D. Fazio)
November 11th - Incompatible views on spacetime in quantum gravity philosophy (S.L. Pinna)
November 3rd-4th - International Workshop on Applied Mathematics and Quantum Information [Workshop]
October 27th - Proof-theoretic semantics [Reading Group]
October 19th - A general framework to define entropic measures of quantum discord-like correlations (G. Bellomo)
October 14th - Natural duality for involutive bisemilattices (S. Bonzio)
October 7th - Proof-theoretic semantics [Reading Group]
September 23rd - Uniquely complemented lattices (I. Chajda)
September 20th - Einstein e l'interpretazione statistica della meccanica quantistica (V. Fano)
September 15th - Algebras of hypergraphs (C. Taylor)
July 27th - Skew Heyting algebras (A. Salibra - A. Bucciarelli)
July 21th - Set theory [Reading Group]
July 14th - Proof-theoretic semantics [Reading Group]
July 6th - Lattice-ordered groups and logic, part II (C. Tsinakis)
June 30th - Lattice-ordered groups and logic, part I (C. Tsinakis)
June 22th - Distributive lattices with a negation-like operation (T. Kowalski)
June 20th - La scimmia dattilografa: logica, psicologia e dintorni (P. Lecis)
May 24th - Reasoning with graded notions (P. Cintula)
May 17th - Boolean algebras of dimension n (A. Salibra); Propositional calculus of dimension n (A. Bucciarelli)
May 12th - New trends in the theories of arguments and meaning [Workshop] (speakers: C. Bagnoli - G. Corsi)
May 4th - Bilateralism and logical consequence (B. Dicher)
April 28th - A Stone-type theorem for distributive bisemilattices (A. Ledda); Quantifying quantum correlations induced by local measurements (M. Bosyk)
April 22nd - Stone duality (S. Bonzio)
April 13th - Logiche sottostrutturali (A. Ledda)
April 7th - Second order abstraction and self-evidence (M. Schirn)
March 30th - Tempo (G. Torrengo)
March 17th - Algebraic description of dynamic physical systems (I. Chajda)
March 10th - Geometrical aspects of quantum logical gates (F. Holik)
March 2nd - How to be a relevantist and a pluralist (B. Dicher)
February 24th - Boolean-like algebras of order n and a general Cayley theorem (A. Salibra)
February 18th - Quando un sistema fisico realizza una determinata computazione (V. Fano)
February 12th - Rivalry, meaning and logical pluralism (M. Pra Baldi)
February 4th - Errors of reasoning vindicated (L. Magnani)
January 27th - Proof-theoretic semantics [Reading Group]
January 22nd - Paraconsistent Weak Kleene [Workshop] (speakers: F. Paoli - L. Peruzzi - S. Bonzio - M. Pra Baldi)
January 14th - On weak measurements in QM (R. Venkatrama)