The following pages link to Giacomo Lenzi (Q392378):
Displaying 50 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Metric temporal logic revisited (Q266865) (← links)
- Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
- MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- Bisimulation quantifiers and uniform interpolation for guarded first order logic (Q481100) (← links)
- An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus (Q557788) (← links)
- On the \(\mu \)-calculus over transitive and finite transitive frames (Q606994) (← links)
- Deciding the existence of uniform interpolants over transitive models (Q627437) (← links)
- (Q700064) (redirect page) (← links)
- A basic theory with predicates (Q700066) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- Representation of MV-algebras by regular ultrapowers of \([0,1]\) (Q971886) (← links)
- A nontrivial model of Weydert's \(SF_3\) minus the Leibniz rules (Q1280203) (← links)
- Introducing basic theories for the foundations of mathematics (Q1330266) (← links)
- An introduction of variables into the frame of the basic theories for the foundations of mathematics (Q1335476) (← links)
- The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs (Q1643142) (← links)
- Some invariant skeletons for \(\ell\)-u groups and MV-algebras (Q1732804) (← links)
- Duality theory and skeleta for semisimple MV-algebras (Q1756599) (← links)
- Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics (Q1901521) (← links)
- Algebraically closed MV-algebras and their sheaf representation (Q1935872) (← links)
- MV-semirings and their sheaf representations (Q1943685) (← links)
- Algebraic geometry for \(\ell \)-groups (Q1991595) (← links)
- Similarity monadic basic logic (Q1999121) (← links)
- Topological spaces of monadic MV-algebras (Q2001132) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions (Q2013838) (← links)
- Expanding lattice ordered abelian groups to Riesz spaces (Q2076541) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- A characterization of pseudofinite MV-algebras (Q2153659) (← links)
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603) (← links)
- Models, coproducts and exchangeability: notes on states on Baire functions (Q2164048) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- Ultramatricial algebras over commutative chain semirings and application to MV-algebras (Q2309629) (← links)
- Observables on perfect MV-algebras (Q2328955) (← links)
- Simplicial geometry of unital lattice-ordered abelian groups. (Q2343345) (← links)
- Relative subalgebras of MV-algebras (Q2359734) (← links)
- Hyperfinite MV-algebras (Q2376570) (← links)
- On fixpoint arithmetic and infinite time Turing machines (Q2390295) (← links)
- On modal \(\mu\)-calculus with explicit interpolants (Q2506827) (← links)
- The variable hierarchy of the \(\mu\)-calculus is strict (Q2643142) (← links)
- Mu-depth 3 is more than 2: A game-theoretic proof (Q2719798) (← links)
- (Q2762525) (← links)
- Structural completeness and unification problem of the logic of Chang algebra (Q2811494) (← links)
- On free MV algebras and a problem of Tarski (Q2813678) (← links)
- On modal \(\mu \)-calculus in \(S5\) and applications (Q2841958) (← links)
