Achille C. Varzi

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 8

Top Topics

Classical Logic

Rough Mereology

Revision Operators

Computer Science And Artificial Intelligence

Top Venues

Logica Universalis

Publications

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