MUNDICI, DANIELE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Turing complexity of Behncke-LeptinC*-algebras with a two-point dual

Daniele Mundici

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 382 KB

english, 1992

52

A lower bound for the complexity of Craig's interpolants in sentential logic

Daniele Mundici

Journal:

Archive for Mathematical Logic

Year:

1983

Language:

english

File:

PDF, 532 KB

english, 1983

53

Natural limitations of decision procedures for arithmetic with bounded quantifiers

Daniele Mundici

Journal:

Archive for Mathematical Logic

Year:

1983

Language:

english

File:

PDF, 1.01 MB

english, 1983

54

Interpolation, compactness and JEP in soft model theory

Daniele Mundici

Journal:

Archive for Mathematical Logic

Year:

1980

Language:

english

File:

PDF, 385 KB

english, 1980

55

A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes

Daniele Mundici

Journal:

Year:

1981

Language:

english

File:

PDF, 919 KB

english, 1981

56

A characterisation of lattice-ordered abelian groups

George A. Elliott, Daniele Mundici

Journal:

Mathematische Zeitschrift

Year:

1993

Language:

english

File:

PDF, 458 KB

english, 1993

57

MV-algebras: a variety for magnitudes with archimedean units

Joan Gispert, Daniele Mundici

Journal:

Algebra Universalis

Year:

2005

Language:

english

File:

PDF, 383 KB

english, 2005

58

Projective MV-algebras and rational polyhedra

Leonardo Manuel Cabrer, Daniele Mundici

Journal:

Algebra Universalis

Year:

2009

Language:

english

File:

PDF, 304 KB

english, 2009

59

Revisiting the Farey AF Algebra

Daniele Mundici

Journal:

Milan Journal of Mathematics

Year:

2011

Language:

english

File:

PDF, 308 KB

english, 2011

60

A Characterization of the freen-generated MV-algebra

Daniele Mundici

Journal:

Archive for Mathematical Logic

Year:

2006

Language:

english

File:

PDF, 168 KB

english, 2006

61

Many-Valued Logic and Cognition: Foreword

Shier Ju, Daniele Mundici

Journal:

Year:

2008

Language:

english

File:

PDF, 79 KB

english, 2008

62

Foreword

Daniele Mundici, Itala M. Loffredo D’Ottaviano

Journal:

Year:

2011

Language:

english

File:

PDF, 133 KB

english, 2011

63

Consequence and Interpolation in Łukasiewicz Logic

Daniele Mundici

Journal:

Year:

2011

Language:

english

File:

PDF, 1.60 MB

english, 2011

64

Satisfiability in many-valued sentential logic is NP-complete

Daniele Mundici

Journal:

Theoretical Computer Science

Year:

1987

Language:

english

File:

PDF, 991 KB

english, 1987

65

Functions computed by monotone boolean formulas with no repeated variables

Daniele Mundici

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 227 KB

english, 1989

66

An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz

Roberto Cignoli, Daniele Mundici

Journal:

Year:

1997

Language:

english

File:

PDF, 344 KB

english, 1997

67

Foreword

Daniele Mundici

Journal:

Year:

1998

File:

PDF, 37 KB

1998

68

Many-Valued Points And Equality

Costas Drossos, Daniele Mundici

Journal:

Year:

2000

Language:

english

File:

PDF, 31 KB

english, 2000

69

Foreword: Logics of Uncertainty

Daniele Mundici

Journal:

Journal of Logic, Language and Information

Year:

2000

Language:

english

File:

PDF, 17 KB

english, 2000

70

Foreword

Silvio Ghilardi, Daniele Mundici

Journal:

Year:

2003

File:

PDF, 121 KB

2003

71

[UNITEXT] Logic: A Brief Course Volume 25/8 ||

Mundici, Daniele

Year:

2012

Language:

english

File:

PDF, 124 KB

english, 2012

72

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Explaining Gentzen's consistency proof within infinitary proof theory

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 763 KB

english, 1997

73

Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema

Journal:

Year:

2012

Language:

english

File:

PDF, 142 KB

english, 2012

74

Finite axiomatizability in Łukasiewicz logic

Daniele Mundici

Journal:

Annals of Pure and Applied Logic

Year:

2011

Language:

english

File:

PDF, 331 KB

english, 2011

75

[UNITEXT] Logic: A Brief Course || Gödel’s Completeness Theorem for the Logic of Clauses

Mundici, Daniele

Year:

2012

Language:

english

File:

PDF, 197 KB

english, 2012

76

RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT

CABRER, LEONARDO, MUNDICI, DANIELE

Journal:

Communications in Contemporary Mathematics

Year:

2012

Language:

english

File:

PDF, 343 KB

english, 2012

77

The Lebesgue state of a unital abelian lattice-ordered group

Marra, Vincenzo, Mundici, Daniele

Journal:

Journal of Group Theory

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

78

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Resolution, inverse method and the sequent calculus

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

79

Universal Properties of Łukasiewicz Consequence

Mundici, Daniele

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 218 KB

english, 2014

80

Interval MV-algebras and generalizations

Cabrer, Leonardo Manuel, Mundici, Daniele

Journal:

International Journal of Approximate Reasoning

Year:

2014

Language:

english

File:

PDF, 974 KB

english, 2014

81

Polyhedral MV-algebras

Busaniche, Manuela, Cabrer, Leonardo, Mundici, Daniele

Journal:

Fuzzy Sets and Systems

Year:

2014

Language:

english

File:

PDF, 520 KB

english, 2014

82

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Self-verifying axiom systems

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 788 KB

english, 1993

83

Severi–Bouligand tangents, Frenet frames and Riesz spaces

Cabrer, Leonardo Manuel, Mundici, Daniele

Journal:

Advances in Applied Mathematics

Year:

2015

Language:

english

File:

PDF, 447 KB

english, 2015

84

A Constructive Proof of McNaughton's Theorem in Infinite-Valued Logic

Daniele Mundici

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 567 KB

english, 1994

85

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || The structure of exponentials: Uncovering the dynamics of linear logic proofs

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 728 KB

english, 1993

86

Invariant Measure Under the Affine Group Over

MUNDICI, DANIELE

Journal:

Combinatorics Probability & Computing

Year:

2014

Language:

english

File:

PDF, 691 KB

english, 2014

87

Paper Machines

MUNDICI, DANIELE, SEIG, WILFRIED

Journal:

Philosophia Mathematica

Year:

1995

Language:

english

File:

PDF, 1.45 MB

english, 1995

88

van Benthem J. F. A. K.. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Synthese library, vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, xvi + 260 pp.

Mundici, Daniele

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 596 KB

english, 1987

89

Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups

Busaniche, Manuela, Cabrer, Leonardo, Mundici, Daniele

Journal:

Forum Mathematicum

Year:

2012

Language:

english

File:

PDF, 318 KB

english, 2012

90

Logic and Scientific Methods || Mathematical Logic in the Former Soviet Union: Brief History and Current Trends

Dalla Chiara, Maria Luisa, Doets, Kees, Mundici, Daniele, van Benthem, Johan

Year:

1997

Language:

english

File:

PDF, 3.28 MB

english, 1997

91

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Two connections between Linear Logic and Łukasiewicz Logics

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 697 KB

english, 1997

92

Generalized Quantifiers in Natural Languageby Johan van Benthem; Alice ter Meulen

Review by: Daniele Mundici

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 153 KB

english, 1987

93

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Classical proofs as programs

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 756 KB

english, 1993

94

A Simple Construction of Robinson Equivalence Relations

Daniele Mundici

Journal:

Proceedings of the American Mathematical Society

Year:

1987

Language:

english

File:

PDF, 137 KB

english, 1987

95

Ergodic Undefinability in Set Theory and Recursion Theory

Daniele Mundici

Journal:

Proceedings of the American Mathematical Society

Year:

1981

Language:

english

File:

PDF, 212 KB

english, 1981

96

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || On the logic of hypergraphs

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 444 KB

english, 1993

97

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || On Arnol'd's Hilbert symposium problems

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 391 KB

english, 1993

98

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || On loop detection in connection calculi

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 484 KB

english, 1993

99

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || On different concepts of function introduction

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 638 KB

english, 1993

100

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Double exponential inseparability of Robinson subsystem Q+ from the unsatisfiable sentences in the language of addition

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 141 KB

english, 1993