Achille C. Varzi

Orcid: 0000-0001-9410-0405

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Complementary Proof Nets for Classical Logic.
Logica Universalis, December, 2023

Intuitionistic Mereology II: Overlap and Disjointness.
J. Philos. Log., August, 2023

2021
Intuitionistic mereology.
Synth., 2021

2020
Counterpart theories for everyone.
Synth., 2020

2019
Natural Axioms for Classical Mereology.
Rev. Symb. Log., 2019

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

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

2018
Paraconsistency in classical logic.
Synth., 2018

2014
Adding Convexity to Mereotopology.
Proceedings of the Formal Ontology in Information Systems, 2014

2007
Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
Proceedings of the Handbook of Spatial Logics, 2007

2006
Strict Identity with No Overlap.
Stud Logica, 2006

A note on the transitivity of parthood.
Appl. Ontology, 2006

2003
Mereotopological Connection.
J. Philos. Log., 2003

The Geometry of Negation.
J. Appl. Non Class. Logics, 2003

2002
Surrounding space the ontology of organism-environment relations.
Theory Biosci., 2002

2001
The Best Question.
J. Philos. Log., 2001

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

The Formal Structure of Ecological Contexts.
Proceedings of the Modeling and Using Context, 1999

The Context-Dependency of Temporal Reference in Event Semantics.
Proceedings of the Modeling and Using Context, 1999

1998
Connection Relations in Mereotopology.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997
Inconsistency without Contradiction.
Notre Dame J. Formal Log., 1997

Fiat and Bona Fide Boundaries: Towards on Ontology of Spatially Extended Objects.
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997

1996
Refining Temporal Reference in Event Structures.
Notre Dame J. Formal Log., 1996

Book reviews.
Minds Mach., 1996

Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.
Data Knowl. Eng., 1996

1995
Basic Issues in Spatial Reasoning.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994
Mereotopological Construction of Time from Events.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993
Spatial Reasoning in a Holey World.
Proceedings of the Advances in Artificial Intelligence, 1993


  Loading...