Gabriella Crocco

According to our database, Gabriella Crocco authored at least 4 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Gödel's Absolute Proofs and Girard's Ludics: Mutual Insights.

Gabriella Crocco, Myriam Quatrini

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2003

Gödel, Carnap and the Fregean Heritage.

Gabriella Crocco

Synth., 2003

1996

Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems.

Gabriella Crocco, Luis Fariñas del Cerro

Proceedings of the Logic, Action, and Information, 1996

1992

On the Connection between Non-monotonic Inference Systems and Conditional Logics.

Gabriella Crocco, Philippe Lamarre

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992