Sfoglia per Autore
Embeddings, amalgamation and elementary equivalence: the representation of compact logics
1984 D. MUNDICI
Abstract model theory and nets of C*-algebras
1984 D. Mundici
Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity,
1984 D. MUNDICI
OTHER QUANTIFIERS: AN OVERVIEW
1985 D. MUNDICI
Model-theoretic logics
1985 D.Mundici
Abstract Equivalence Relations
1985 D. MUNDICI; J. MAKOWSKY
Interpretation of AF C*-algebras in Łukasiewicz sentential calculus
1986 D. MUNDICI
MV-algebras are categorically equivalent to bounded commutative BCK-algebras
1986 D.Mundici
Mapping abelian l-groups with strong unit one-one into MV-algebras
1986 D. MUNDICI
Inverse topological systems and compactness in abstract model theory
1986 D. MUNDICI
Satisfiability in many-valued sentential logic is NP-complete
1987 D. MUNDICI
A simple construction of Robinson equivalence relations
1987 D. MUNDICI
THE TURING COMPLEXITY OF AF C*-ALGEBRAS WITH LATTICE-ORDERED $K_{0}$
1987 D. MUNDICI
CT-guided stereotactic biopsy of endocranial lesions
1987 D.Mundici; F. Ammannati; P.Mennonna; R. De Dominicis; G. Dal Pozzo; C. Fonda; G.Pazzaglini; B. Lehmann
Every abelian l-group with two positive generators is ultrasimplicial
1987 D. MUNDICI
Bounded commutative BCK-algebras have the amalgamation property
1987 D.Mundici
THE DERIVATIVE OF TRUTH IN LUKASIEWICZ SENTENTIAL CALCULUS,
1988 D. MUNDICI
Farey stellar subdivisions, ultrasimplicial groups, and K_0 of AF C*-algebras,
1988 D. MUNDICI
Solution of Ulam's problem on binary search with two lies,
1988 D. MUNDICI; A. PELC; J. CZYZOWICZ
Free products in the category of abelian l-groups with strong unit
1988 D. MUNDICI
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile