Achille C. Varzi

30 papers A 2C 1Journal 19Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Hypersequent Calculus for Classical Contingencies.
J. Philos. Log.
Gabriele Pulcini, Achille C. Varzi
2025 J jnl
Parts and Participants.
J. Philos. Log.
Achille C. Varzi, Claudio Calosi
2023 J jnl
Complementary Proof Nets for Classical Logic.
Logica Universalis
Gabriele Pulcini, Achille C. Varzi
2023 J jnl
Intuitionistic Mereology II: Overlap and Disjointness.
J. Philos. Log.
Paolo Maffezioli, Achille C. Varzi
2021 J jnl
Intuitionistic mereology.
Synth.
Paolo Maffezioli, Achille C. Varzi
2020 J jnl
Counterpart theories for everyone.
Synth.
Achille C. Varzi
2019 — conf
Carnapian Engineering.
Ontology Makes Sense
Achille C. Varzi
2019 J jnl
Methodological Blind Spots in Machine Learning Fairness: Lessons from the Philosophy of Science and Computer Science.
CoRR
Samuel Deng, Achille C. Varzi
2019 J jnl
Natural Axioms for Classical Mereology.
Rev. Symb. Log.
A. J. Cotnoir, Achille C. Varzi
2018 J jnl
Paraconsistency in classical logic.
Synth.
Gabriele Pulcini, Achille C. Varzi
2014 C conf
Adding Convexity to Mereotopology.
FOIS
Marion Haemmerli, Achille C. Varzi
2007 — ch.
Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
Handbook of Spatial Logics
Achille C. Varzi
2006 J jnl
A note on the transitivity of parthood.
Appl. Ontology
Achille C. Varzi
2006 J jnl
Strict Identity with No Overlap.
Stud Logica
Achille C. Varzi
2003 J jnl
Mereotopological Connection.
J. Philos. Log.
Anthony G. Cohn, Achille C. Varzi
2003 J jnl
The Geometry of Negation.
J. Appl. Non Class. Logics
Achille C. Varzi, Massimo Warglien
2002 J jnl
Surrounding space the ontology of organism-environment relations.
Theory Biosci.
Barry Smith, Achille C. Varzi
2001 J jnl
The Best Question.
J. Philos. Log.
Achille C. Varzi
1999 — conf
Modes of Connection.
COSIT
Anthony G. Cohn, Achille C. Varzi
1999 — conf
The Context-Dependency of Temporal Reference in Event Semantics.
CONTEXT
Fabio Pianesi, Achille C. Varzi
1999 — conf
The Formal Structure of Ecological Contexts.
CONTEXT
Barry Smith, Achille C. Varzi
1998 A conf
Connection Relations in Mereotopology.
ECAI
Anthony G. Cohn, Achille C. Varzi
1997 — conf
Fiat and Bona Fide Boundaries: Towards on Ontology of Spatially Extended Objects.
COSIT
Barry Smith, Achille C. Varzi
1997 J jnl
Inconsistency without Contradiction.
Notre Dame J. Formal Log.
Achille C. Varzi
1996 J jnl
Book reviews.
Minds Mach.
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
1996 J jnl
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.
Data Knowl. Eng.
Achille C. Varzi
1996 J jnl
Refining Temporal Reference in Event Structures.
Notre Dame J. Formal Log.
Fabio Pianesi, Achille C. Varzi
1995 — conf
Basic Issues in Spatial Reasoning.
WOCFAI
Roberto Casati, Achille C. Varzi
1994 A conf
Mereotopological Construction of Time from Events.
ECAI
Fabio Pianesi, Achille C. Varzi
1993 — conf
Spatial Reasoning in a Holey World.
AI*IA
Achille C. Varzi