#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1994

2013

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Paola Cattabriga
- 2003

This article demonstrates the invalidity of Theorem VI in GÃ¶delâ€™s 1931, showing that propositions (15) and (16), derived from the definition 8.1, in its proof, are false in PA. Introduction. Developed as a consequence of the crisis of the foundation of mathematics due to the discovery of the antinomies, Hilbertâ€™s formalism planned as criterions of adequacyâ€¦ (More)

- Paola Cattabriga
- 2008

The conditions for proper definitions in mathematics are given, in terms of the theory of definition, on the basis of the criterions of eliminability and non-creativity. As a definition, Russellâ€™s antinomy is a violation of the criterion of eliminability (Behmann, 1931, [1]; Bochvar, 1943, [2]). Following the path of the criterion of non-creativity, thisâ€¦ (More)

- Paola Cattabriga
- ArXiv
- 2013

TÃ¼ringâ€™s argument that there can be no machine computing the diagonal on the enumeration of the computable sequences is not a demonstration. As well known, TÃ¼ring historical article of 1936 is the result of a special endeavor focused around the factuality of a general process for algorithmic computation. As resultant formal model his famous abstractâ€¦ (More)

- BEYOND UNDECIDABLE, Paola Cattabriga
- 2006

The predicate complementary to the well-known GÃ¶delâ€™s provability predicate is defined. From its recursiveness new consequences concerning the incompleteness argumentation are drawn and extended to new results of consistency, completeness and decidability with regard to Peano Arithmetic and the first order predicate calculus.

- Paola Cattabriga
- 2003

This article demonstrates the invalidity of the so-called GÃ¶delâ€™s first incompleteness theorem, showing that propositions (15) and (16), derived from the definition 8.1 in GÃ¶delâ€™s 1931 article, are false. Introduction. Developed as a consequence of the crisis of the foundation of mathematics due to the discovery of the antinomies, Hilbertâ€™s formalismâ€¦ (More)

- BEYOND UNCOUNTABLE, Paola Cattabriga
- 2003

Introduction. By common consent Russellâ€™s antinomy is the reason for which in Zermeloâ€“Fraenkel set theory, there is no set which comprehends all sets. Furthermore, given any set A, there is no set which contains all sets which are not members of A (in particular, there is no set which is the complement of A) ([7] 40-41). In other words, given any set A, theâ€¦ (More)

- Alberto Artosi, Paola Cattabriga, Guido Governatori
- ICLP Workshop: Legal Application of Logicâ€¦
- 1994

Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as formal representation of legal knowledge and reasoning, formal specification of computer systems and formal analysis of database integrity constraints. Despite this acknowledgement, there have been few attempts to provide computationally tractable inferenceâ€¦ (More)

- Paola Cattabriga
- 2003

This article demonstrates the invalidity of Theorem VI in GÃ¶delâ€™s monograph of 1931, by showing that (15) xBÎº(17Gen r) âˆ’â†’ BewÎº[Sb(r Z(x))], (16) xBÎº(17Gen r) âˆ’â†’ BewÎº[Neg(Sb(r Z(x))], (derived by means of definition (8.1) Q(x, y) â‰¡ xBÎº[Sb(y Z(y))] respectively from (3) R(x1, . . . , xn) âˆ’â†’ BewÎº[Sb(r u1...un Z(x1)...Z(xn) )], (4) R(x1, . . . , xn) âˆ’â†’â€¦ (More)

Usually a default rule A : B/C is intended to mean that if A holds in a state of affairs a B is consistent, then C follows by default. However, C is not a necessary conclusion: different states of affairs are possible (conceivable). According to this view, Meyer and van der Hoek [MvH92] developed a multimodal logic, called S5P(n), for treating non-monotonicâ€¦ (More)