Achille C. Varzi

According to our database, Achille C. Varzi authored at least 28 papers between 1993 and 2023.

Collaborative distances:

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

2023

Complementary Proof Nets for Classical Logic.

Gabriele Pulcini, Achille C. Varzi

Logica Universalis, December, 2023

Intuitionistic Mereology II: Overlap and Disjointness.

Paolo Maffezioli, Achille C. Varzi

J. Philos. Log., August, 2023

2021

Intuitionistic mereology.

Paolo Maffezioli, Achille C. Varzi

Synth., 2021

2020

Counterpart theories for everyone.

Achille C. Varzi

Synth., 2020

2019

Natural Axioms for Classical Mereology.

Aaron J. Cotnoir, Achille C. Varzi

Rev. Symb. Log., 2019

Methodological Blind Spots in Machine Learning Fairness: Lessons from the Philosophy of Science and Computer Science.

Samuel Deng, Achille C. Varzi

CoRR, 2019

Carnapian Engineering.

Achille C. Varzi

Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

2018

Paraconsistency in classical logic.

Gabriele Pulcini, Achille C. Varzi

Synth., 2018

2014

Adding Convexity to Mereotopology.

Marion Haemmerli, Achille C. Varzi

Proceedings of the Formal Ontology in Information Systems, 2014

2007

Spatial Reasoning and Ontology: Parts, Wholes, and Locations.

Achille C. Varzi

Proceedings of the Handbook of Spatial Logics, 2007

2006

Strict Identity with No Overlap.

Achille C. Varzi

Stud Logica, 2006

A note on the transitivity of parthood.

Achille C. Varzi

Appl. Ontology, 2006

2003

Mereotopological Connection.

Anthony G. Cohn, Achille C. Varzi

J. Philos. Log., 2003

The Geometry of Negation.

Achille C. Varzi, Massimo Warglien

J. Appl. Non Class. Logics, 2003

2002

Surrounding space the ontology of organism-environment relations.

Barry Smith, Achille C. Varzi

Theory Biosci., 2002

2001

The Best Question.

Achille C. Varzi

J. Philos. Log., 2001

1999

Modes of Connection.

Anthony G. Cohn, Achille C. Varzi

Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999

The Formal Structure of Ecological Contexts.

Barry Smith, Achille C. Varzi

Proceedings of the Modeling and Using Context, 1999

The Context-Dependency of Temporal Reference in Event Semantics.

Fabio Pianesi, Achille C. Varzi

Proceedings of the Modeling and Using Context, 1999

1998

Connection Relations in Mereotopology.

Anthony G. Cohn, Achille C. Varzi

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Inconsistency without Contradiction.

Achille C. Varzi

Notre Dame J. Formal Log., 1997

Fiat and Bona Fide Boundaries: Towards on Ontology of Spatially Extended Objects.

Barry Smith, Achille C. Varzi

Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996

Refining Temporal Reference in Event Structures.

Fabio Pianesi, Achille C. Varzi

Notre Dame J. Formal Log., 1996

Book reviews.

Justin Leiber, Robert M. French, John A. Barnden, Syed S. Ali, Richard Wyatt, Timothy R. Colburn, Brian Harvey, Norman Gall, Susan G. Josephson, Francesco Orilia, Achille C. Varzi

Minds Mach., 1996

Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.

Achille C. Varzi

Data Knowl. Eng., 1996

1995

Basic Issues in Spatial Reasoning.

Roberto Casati, Achille C. Varzi

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

Mereotopological Construction of Time from Events.

Fabio Pianesi, Achille C. Varzi

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Spatial Reasoning in a Holey World.

Achille C. Varzi

Proceedings of the Advances in Artificial Intelligence, 1993