BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Sándor Jenei (University of Pécs)
DTSTART:20210108T170000Z
DTEND:20210108T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/1/">
 A representation theorem for odd and even involutive commutative residuate
 d chains by direct systems of abelian o-groups</a>\nby Sándor Jenei (Univ
 ersity of Pécs) as part of Nonclassical Logic Webinar\n\n\nAbstract\nAlge
 braic investigations into substructural logics have been flourishing in th
 e past decades\, but the focus of this research has been fairly biased tow
 ards integral or idempotent or divisible structures which were already wel
 l-understood. On the contrary\, (quasi)varieties of not necessarily integr
 al and not necessarily divisible algebras form equivalent algebraic semant
 ics for all the main logics in the linear and in the relevant family\, inc
 luding Abelian logic\, and it is precisely in this area where it is possib
 le to find very interesting connections with (lattice ordered) groups and 
 thus with classical algebra.\nIn this talk we address the problem of struc
 tural description of involutive commutative residuated lattices\, the non-
 integral case. The algebras in our focus are non-divisible and non-idempot
 ent either. Related attempts in the literature have\, so far\, been confin
 ed to either lattice-ordered groups (the cancellative case) or Sugihara mo
 noids (the idempotent case). For all involutive commutative residuated cha
 ins\, where either the residual complement operation leaves the unit eleme
 nt fixed (odd case) or the unit element is the cover of its residual compl
 ement (even case)\, a representation theorem will be presented in this tal
 k by means of direct systems of abelian o-groups.\n
LOCATION:https://researchseminars.org/talk/NCLogic/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Vincenzo Marra (University of Milan)
DTSTART:20210115T170000Z
DTEND:20210115T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/2/">
 Remarks on logics for probability\, with an eye toward universal construct
 ions (Part II)</a>\nby Vincenzo Marra (University of Milan) as part of Non
 classical Logic Webinar\n\n\nAbstract\nThe use of logic to reason about pr
 obability has a long tradition in science\, and any ambition of surveying 
 past work in a single talk would be ill-advised. Instead\, in this light\,
  informal\, leisurely talk\, I attempt to highlight selected fundamental i
 ssues that arise in the field. For example\, starting from the logical sid
 e: Is "The coin probably lands heads" a sentence in classical logic? Or is
  it a modal sentence? Can we attach any meaning to the sentence "It is lik
 ely that the coin probably lands heads"? And how do we infer one such sent
 ence from another? By the end of the talk\, I hope to manage to indicate t
 hat convincing answers to these and other related questions are available.
  These answers pertain to logic and algebra\, but in turn suggest new ques
 tions in probability theory that are not traditionally associated with tha
 t field\; for example\, is there a "free"\, or most general\, assignment o
 f probabilities to the sentence "The coin lands heads”?\n
LOCATION:https://researchseminars.org/talk/NCLogic/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tommaso Flaminio (IIIA-CSIC)
DTSTART:20210122T170000Z
DTEND:20210122T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/3/">
 Probability logic on many-valued events: standard completeness and (a kind
  of) algebraic semantics</a>\nby Tommaso Flaminio (IIIA-CSIC) as part of N
 onclassical Logic Webinar\n\n\nAbstract\nProving 'standard completeness'\,
  that is completeness with respect to a class of algebras based on the rea
 l unit interval\, has been for a long time a central problem for t-norm ba
 sed (fuzzy) logics. Elaborated techniques to prove this kind of result hav
 e been developed and most of them rely on the fact that totally ordered al
 gebras can be embedded\, or just partially embedded\, into standard struct
 ures. However\, when we move from t-norm based logics to probabilistic mod
 al logics based on them\, these methods are no longer applicable and it is
  necessary to consider new ideas to prove standard completeness. In this s
 eminar\, besides clarifying what ’standard completeness’ means in the 
 probabilistic setting\, we will present the logic FP(L\, L)\, a formalisms
  that allows to reason about probabilistic statements on events represente
 d as formulas of Lukasiewicz logic\, and we prove it to be standard comple
 te. Further elaborating on the standard completeness for FP(L\, L) we will
  also present results from an ongoing research line that allow to regard a
  peculiar class of projective MV-algebras as a semantics for that probabil
 ity logic.\n
LOCATION:https://researchseminars.org/talk/NCLogic/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matteo Bianchi
DTSTART:20210129T170000Z
DTEND:20210129T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/4/">
 Strictly join irreducible varieties of BL-algebras</a>\nby Matteo Bianchi 
 as part of Nonclassical Logic Webinar\n\n\nAbstract\nBasic Logic BL\, intr
 oduced by P. Hajek in 1998\, is the logic of all continuous t-norms and th
 eir residua. The variety of BL-algebras forms the algebraic semantics of B
 L.\nLet V be a variety of BL-algebras\, and let L(V) be its lattice of sub
 varieties\, ordered by inclusion.\nV is called strictly join irreducible (
 SJI) if\, whenever V is the join of a non-empty set S of varieties of BL-a
 lgebras\, then V belongs to S.\nEvery variety in L(V) is obtained as join 
 of SJI varieties\, which may be considered as the building blocks of all t
 he varieties in L(V). In this talk I will present the results of a recent 
 joint work with Stefano Aguzzoli\, where we provided a full classification
  of the SJI varieties of BL-algebras.\n
LOCATION:https://researchseminars.org/talk/NCLogic/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sándor Jenei (University of Pécs)
DTSTART:20210205T170000Z
DTEND:20210205T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/5/">
 Amalgamation in classes of involutive commutative residuated lattices</a>\
 nby Sándor Jenei (University of Pécs) as part of Nonclassical Logic Webi
 nar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tadeusz Litak (Friedrich-Alexander-University of Erlangen-Nürnber
 g)
DTSTART:20210212T170000Z
DTEND:20210212T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/7/">
 Lewis meets Brouwer\, or perhaps Heyting</a>\nby Tadeusz Litak (Friedrich-
 Alexander-University of Erlangen-Nürnberg) as part of Nonclassical Logic 
 Webinar\n\n\nAbstract\nThis talk is an introduction to what one might call
  the Heyting-Lewis calculus of strict implication over the intuitionistic 
 propositional base\; the names "constructive strict implication" or "Brouw
 er-Lewis implication/calculus" have also been used. The corresponding clas
 s of algebras can be seen as the fusion of Heyting algebras and weak Heyti
 ng algebras (Celani and Jansana) over the shared bounded lattice reduct. (
 Super)intuitionistic modal logics with unary box are a limiting case\, but
  in the intuitionistic setting there are many examples where strict implic
 ation is not reducible to box. Its variants arise\, e.g.\, in the context 
 of preservativity in Heyting Arithmetic (where it was first invented by Vi
 sser)\, in the inhabitation logic of simple type theory extended with Hask
 ell-style arrows\, and in a generalization of Intuitionistic Epistemic Log
 ic of Artemov and Protopopescu.  The move to the intuitionistic propositio
 nal base also throws interesting light on the complex fate of Lewis' origi
 nal systems. The Heyting-Lewis calculus enjoys a natural Kripke semantics 
 (first studied by Iemhoff and coauthors)\, which also allows defining an a
 ppropriate notion of descriptive frame and Esakia-style dualities. Further
 more\, one can follow the Wolter-Zakharyaschev idea of generalizing the G
 ödel-McKinsey-Tarski translation\, reducing the metatheory of Heyting-Lew
 is logics to suitable bimodal logics over the classical propositional base
 \, obtaining a suitable variant of the Blok-Esakia theorem\, and (re)provi
 ng many correspondence\, completeness\, decidability and fmp results in an
  uniform way. However\, it seems that ultimately one will have to drop one
  of the axioms\, losing the natural Kripke semantics. In the final part of
  the talk\, I am going to discuss alternative semantics for the weakened s
 ystem and its position in the broader landscape of intuitionistic logics w
 ith an additional implication-like connective. This talk involves joint wo
 rk with Albert Visser (Utrecht University)\, Jim de Groot and Dirk Pattins
 on (ANU)\, Igor Sedlar and the Prague group\, and Miriam Polzer (Google).\
 n
LOCATION:https://researchseminars.org/talk/NCLogic/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Stefano Bonzio (University of Turin)
DTSTART:20210226T170000Z
DTEND:20210226T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/8
DESCRIPTION:by Stefano Bonzio (University of Turin) as part of Nonclassica
 l Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michele Pra Baldi (University of Cagliari)
DTSTART:20210305T170000Z
DTEND:20210305T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/9/">
 On a logico-algebraic approach to AGM belief contraction theory</a>\nby Mi
 chele Pra Baldi (University of Cagliari) as part of Nonclassical Logic Web
 inar\n\n\nAbstract\nIn this seminar we investigate AGM belief contraction 
 operators by using the tools of algebraic logic. We generalize the notion 
 of contraction to arbitrary finitary propositional logics\, and we show ho
 w to switch from a syntactic-based approach to a semantic one. This allows
  to build a solid bridge between the validity of AGM postulates in a propo
 sitional logic and specific algebraic properties of its intended algebraic
  counterpart. Some applications to substructural logics are provided.\n(j.
 w.w. Davide Fazio)\n
LOCATION:https://researchseminars.org/talk/NCLogic/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Serafina Lapenta (University of Salerno)
DTSTART:20210312T170000Z
DTEND:20210312T190000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/10/"
 >Tackling the Pierce-Birkhoff conjecture via logic</a>\nby Serafina Lapent
 a (University of Salerno) as part of Nonclassical Logic Webinar\n\nAbstrac
 t: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Matteo Bianchi
DTSTART:20210319T160000Z
DTEND:20210319T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/11/"
 >On linear varieties of MTL-algebras</a>\nby Matteo Bianchi as part of Non
 classical Logic Webinar\n\n\nAbstract\nA variety of MTL-algebras is called
  linear whenever its lattice of subvarieties\, ordered by inclusion\, is l
 inearly ordered. In this talk we will describe some properties of the line
 ar varieties of MTL-algebras\, and we will provide a full classification o
 f the linear varieties of BL-algebras and WNM-algebras. We will also discu
 ss some additional topics and open problems.\n
LOCATION:https://researchseminars.org/talk/NCLogic/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tadeusz Litak (Friedrich-Alexander-University of Erlangen-Nürnber
 g)
DTSTART:20210326T160000Z
DTEND:20210326T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/13
DESCRIPTION:by Tadeusz Litak (Friedrich-Alexander-University of Erlangen-N
 ürnberg) as part of Nonclassical Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Shay Logan (Kansas State University)
DTSTART:20210423T160000Z
DTEND:20210423T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/14
DESCRIPTION:by Shay Logan (Kansas State University) as part of Nonclassica
 l Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Thomas Vetterlein (JKU Linz)
DTSTART:20210416T160000Z
DTEND:20210416T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/15/"
 >Orthogonality spaces\, ortholattices\, and inner-product spaces</a>\nby T
 homas Vetterlein (JKU Linz) as part of Nonclassical Logic Webinar\n\nAbstr
 act: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Walter Carnielli (University of Campinas)
DTSTART:20210430T160000Z
DTEND:20210430T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/16/"
 >Paraconsistent Possibilistic Logics</a>\nby Walter Carnielli (University 
 of Campinas) as part of Nonclassical Logic Webinar\n\n\nAbstract\nI intend
  to  explain  the  possibility and necessity models  based\non theLogics o
 f Formal Inconsistency (LFI's)\, which  we call `credal\ncalculi'\, taking
   advantage of  their expressivity in terms of the\nnotions of consistency
  and inconsistency.  Some basic  properties of\npossibility and necessity\
 nfunctions over  LFI's  are  provided.  A nice aspect of this talk is\nhow
  logic can  be connected  to the  treatment  of information\, and I\ndiscu
 ss some examples showing how such logics\nattain realistic  models  for  a
 rtificial judgement.  This is a joint\nwork with Juliana Bueno-Soler.\n\nR
 eference:\n\nW. A.  Carnielli  and J. Bueno-Soler.  Credal Calculi\, Evide
 nce\, and\nConsistency.  Outstanding  Contributions to Logic\, edited by O
 . Arieli\nand A. Zamansky\, Springer\, 2021\, in print.\n
LOCATION:https://researchseminars.org/talk/NCLogic/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tommaso Moraschini (University of Barcelona)
DTSTART:20210507T160000Z
DTEND:20210507T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/17
DESCRIPTION:by Tommaso Moraschini (University of Barcelona) as part of Non
 classical Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Igor Sedlár (Czech Academy of Sciences)
DTSTART:20210528T160000Z
DTEND:20210528T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/18
DESCRIPTION:by Igor Sedlár (Czech Academy of Sciences) as part of Nonclas
 sical Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Petr Cintula (Czech Academy of Sciences)
DTSTART:20210604T160000Z
DTEND:20210604T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/19
DESCRIPTION:by Petr Cintula (Czech Academy of Sciences) as part of Nonclas
 sical Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marta Bílková (Czech Academy of Sciences)
DTSTART:20210618T160000Z
DTEND:20210618T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/21
DESCRIPTION:by Marta Bílková (Czech Academy of Sciences) as part of Nonc
 lassical Logic Webinar\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/NCLogic/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Marco Abbadini (University of Salerno)
DTSTART:20210521T160000Z
DTEND:20210521T180000Z
DTSTAMP:20260422T225722Z
UID:NCLogic/22
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/NCLogic/22/"
 >Is the category of locally finite MV-algebras equivalent to an equational
  class?</a>\nby Marco Abbadini (University of Salerno) as part of Nonclass
 ical Logic Webinar\n\n\nAbstract\nLocally finite MV-algebras form a subcla
 ss of MV-algebras which is closed under homomorphic images\, subalgebras\,
  and finite products\, but not under arbitrary ones. However\, the categor
 y of locally finite MV-algebras with homomorphisms has arbitrary products 
 in the classical categorical sense. Driven by these considerations\, D. Mu
 ndici posed the following question:\nIs the category of locally finite MV-
 algebras equivalent to an equational class? (D. Mundici. Advanced  Lukasie
 wicz calculus. Trends in Logic Vol. 35. Springer 2011\, p. 235\, problem 3
 .)\n\nWe answer this question. \n\nOur proofs rest upon the duality betwee
 n locally finite MV-algebras and multisets established by R. Cignoli\, E. 
 J. Dubuc\, and D. Mundici\, and categorical characterizations of varieties
  established by J. Duskin\, F. W. Lawvere\, and others.\n
LOCATION:https://researchseminars.org/talk/NCLogic/22/
END:VEVENT
END:VCALENDAR