The following pages link to Giacomo Lenzi (Q392378):
Displaying 42 items.
- About a positive set theory with equality (Q2863913) (← links)
- On Vaught's conjecture and finitely valued MV algebras (Q2888626) (← links)
- On modal \(\mu \)-calculus over finite graphs with small components or small tree width (Q2909221) (← links)
- (Q3002404) (← links)
- On a positive set theory with inequality (Q3096082) (← links)
- (Q3135695) (← links)
- (Q3360847) (← links)
- On the Modal μ-Calculus Over Finite Symmetric Graphs (Q3454725) (← links)
- (Q3487326) (← links)
- A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames (Q3520237) (← links)
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★ (Q3647242) (← links)
- (Q4411834) (← links)
- (Q4594720) (← links)
- (Q4818826) (← links)
- (Q4825712) (← links)
- Monadic Second Order Logic And Its Fragments (Q4923546) (← links)
- (Q4941910) (← links)
- (Q4944337) (← links)
- (Q4944346) (← links)
- (Q4964730) (← links)
- Sheaf representations and locality of Riesz spaces with order unit (Q4989721) (← links)
- Geometry of super-Łukasiewicz logics (Q5103714) (← links)
- On the Riesz structures of a lattice ordered abelian group (Q5142313) (← links)
- (Q5146272) (← links)
- (Q5151000) (← links)
- Dualities and algebraic geometry of Baire functions in non-classical logic (Q5163996) (← links)
- ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS (Q5177876) (← links)
- Entropy of MV-algebraic dynamical systems: An example (Q5228769) (← links)
- On generalizing the Nullstellensatz for MV algebras (Q5262481) (← links)
- On modal -calculus over reflexive symmetric graphs (Q5300576) (← links)
- (Q5317667) (← links)
- (Q5420064) (← links)
- A positive set theory with equality revisited (Q5458064) (← links)
- STACS 2005 (Q5710722) (← links)
- (Q5869529) (← links)
- (Q5878357) (← links)
- \(Z^{\circ}\)-ideals and \(Z\)-ideals in \(MV\)-algebras (Q6137347) (← links)
- Entropies and dynamical systems in Riesz MV-algebras (Q6164190) (← links)
- Spectral MV-algebras and equispectrality (Q6617174) (← links)
- Towards an efficient implementation of a tableau method for reactive safety specifications (Q6643466) (← links)
- On a problem of Conrad on Riesz space structures (Q6663928) (← links)
- Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective (Q6744303) (← links)
