Available identifiers
zbMath Open antonelli.gian-aldo MaRDI QID Q1333308
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type Interrogative Inquiry as Defeasible Reasoning 2020-08-06 Paper Life on the Range: Quine’s Thesis and Semantic Indeterminacy 2020-07-23 Paper Semantic Nominalism: How I Learned to Stop Worrying and Love Universals 2020-07-13 Paper Completeness and decidability of general first-order logic (with a detour through the guarded fragment) 2017-07-19 Paper ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS 2014-05-02 Paper 2011–2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6–7, 2012 2013-06-24 Paper A note on induction, abstraction, and Dedekind-finiteness 2012-07-11 Paper Notions of invariance for abstraction principles 2011-05-31 Paper Numerical abstraction via the Frege quantifier 2010-07-20 Paper https://portal.mardi4nfdi.de/entity/Q3445741 2007-06-06 Paper The complexity of revision, revised 2004-05-27 Paper Defeasible inheritance on cyclic networks 2003-08-28 Paper Representability in second-order propositional poly-modal logic 2002-01-01 Paper Proto-semantics for positive free logic 2001-01-29 Paper Conceptions and Paradoxes of Setst† 2000-05-09 Paper Free set algebras satisfying systems of equations 2000-04-11 Paper What's in a function? 1999-08-09 Paper A directly cautious theory of defeasible consequence for default logic via the notion of general extension 1999-06-21 Paper Extensional quotients for type theory and the consistency problem for NF 1999-01-04 Paper Game-theoretic axioms for local rationality and bounded knowledge 1996-05-13 Paper A revision-theoretic analysis of the arithmetical hierarchy 1996-04-22 Paper The complexity of revision 1994-12-01 Paper Non-well-founded sets via revision rules 1994-11-09 Paper
Research outcomes over time
This page was built for person: Gian Aldo Antonelli
