The following pages link to Gian Aldo Antonelli (Q1333308):
Displayed 24 items.
- (Q435237) (redirect page) (← links)
- A note on induction, abstraction, and Dedekind-finiteness (Q435238) (← links)
- Numerical abstraction via the Frege quantifier (Q985002) (← links)
- A directly cautious theory of defeasible consequence for default logic via the notion of general extension (Q1292307) (← links)
- What's in a function? (Q1293042) (← links)
- The complexity of revision (Q1333309) (← links)
- Non-well-founded sets via revision rules (Q1337508) (← links)
- A revision-theoretic analysis of the arithmetical hierarchy (Q1344437) (← links)
- Defeasible inheritance on cyclic networks (Q1402730) (← links)
- The complexity of revision, revised (Q1430997) (← links)
- Proto-semantics for positive free logic (Q1576387) (← links)
- Game-theoretic axioms for local rationality and bounded knowledge (Q1903085) (← links)
- Completeness and decidability of general first-order logic (with a detour through the guarded fragment) (Q2363413) (← links)
- Notions of Invariance for Abstraction Principles (Q3000796) (← links)
- Semantic Nominalism: How I Learned to Stop Worrying and Love Universals (Q3295811) (← links)
- Life on the Range: Quine’s Thesis and Semantic Indeterminacy (Q3299524) (← links)
- Interrogative Inquiry as Defeasible Reasoning (Q3305310) (← links)
- (Q3445741) (← links)
- Conceptions and Paradoxes of Setst† (Q4269769) (← links)
- Extensional quotients for type theory and the consistency problem for NF (Q4391434) (← links)
- Representability in second-order propositional poly-modal logic (Q4779649) (← links)
- Free set algebras satisfying systems of equations (Q4948534) (← links)
- 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 (Q5300089) (← links)
- ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS (Q5414135) (← links)