We stand with Ukraine  

Nino B. Cocchiarella

According to our database1, Nino B. Cocchiarella authored at least 17 papers between 1969 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Two Views of the Logic of Plurals and a Reduction of One to the Other.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Stud Logica, 2015

2009
Mass Nouns in a Logic of Classes as Many.
[BibTeX]
[DOI]
Nino B. Cocchiarella
J. Philos. Log., 2009

2002
On the Logic of Classes as Many.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Stud Logica, 2002

1998
Reference in Conceptual Realism.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Synth., 1998

1995
Knowledge representation in conceptual realism.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Int. J. Hum. Comput. Stud., 1995

1993
Book Review: Stewart Shapiro. <i>Foundations with foundationalism.</i>.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Notre Dame J. Formal Log., 1993

1991
Book reviews.
[BibTeX]
[DOI]
Kären Wieckert
,
Nino B. Cocchiarella
,
Jon Barwise
Minds Mach., 1991

1985
Two λ-extensions of the theory of homogeneous simple types as a second-order logic.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Notre Dame J. Formal Log., 1985

Frege's double correlation thesis and quine's set theories NF and ML.
[BibTeX]
[DOI]
Nino B. Cocchiarella
J. Philos. Log., 1985

1982
Meinong reconstructed <i>versus</i> early russell reconstructed.
[BibTeX]
[DOI]
Nino B. Cocchiarella
J. Philos. Log., 1982

1980
Nominalism and conceptualism as predicative second-order theories of predication.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Notre Dame J. Formal Log., 1980

1979
The theory of homogeneous simple types as a second-order logic.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Notre Dame J. Formal Log., 1979

1976
A Note on the Definition of Identity in Quine's New Foundations.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Math. Log. Q., 1976

1975
On the primary and secondary semantics of logical necessity.
[BibTeX]
[DOI]
Nino B. Cocchiarella
J. Philos. Log., 1975

1974
Fregean semantics for a realist ontology.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Notre Dame J. Formal Log., 1974

1969
A substitution free axiom set for second order logic.
[BibTeX]
[DOI]
Nino B. Cocchiarella
Notre Dame J. Formal Log., 1969

A Second Order Logic of Existence.
[BibTeX]
[DOI]
Nino B. Cocchiarella
J. Symb. Log., 1969


  Loading...