The following pages link to Itala M. Loffredo D'Ottaviano (Q186038):
Displaying 40 items.
- (Q687159) (redirect page) (← links)
- A reasoning method for a paraconsistent logic (Q687160) (← links)
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995) (← links)
- Motivation and demotivation of a four-valued logic (Q920963) (← links)
- Number of functions in classes given by central predicates (Q1088650) (← links)
- Definability and quantifier elimination for \(J_ 3\)-theories (Q1095881) (← links)
- Algebraic foundations of many-valued reasoning (Q1817694) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- (Q2735810) (← links)
- (Q2746598) (← links)
- (Q2753262) (← links)
- (Q2948659) (← links)
- (Q2948743) (← links)
- (Q3026985) (← links)
- (Q3078539) (← links)
- Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation (Q3305338) (← links)
- (Q3474641) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- (Q3688374) (← links)
- (Q3724303) (← links)
- (Q3792680) (← links)
- (Q4249037) (← links)
- (Q4440563) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- (Q4722043) (← links)
- (Q4918413) (← links)
- Learning the Undecidable from Networked Systems (Q4993065) (← links)
- (Q5039179) (← links)
- (Q5067950) (← links)
- A Medida do Círculo: Uma tradução do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ de Arquimedes (Q5074111) (← links)
- (Q5100771) (← links)
- Translations Between Logics: A Survey (Q5115853) (← links)
- (Q5116421) (← links)
- (Q5141775) (← links)
- A Quantitative-Informational Approach to Logical Consequence (Q5350327) (← links)
- (Q5416147) (← links)
- (Q5596218) (← links)
- (Q5753932) (← links)
- Conservative translations (Q5935991) (← links)