Back to Results
First PageMeta Content
Metalogic / Logical consequence / Arguments for the existence of God / Ontological argument / Prover9 / First-order logic / Function / Entailment / Interpretation / Logic / Mathematics / Model theory


Paul E. Oppenheimer and Edward N. Zalta 2
Add to Reading List

Document Date: 2011-03-23 12:52:55

Open Document

File Size: 226,02 KB

Share Result on Facebook

Company

Premise 1 / Russell / /

Event

Product Recall / Judicial Event / Product Issues / /

Facility

Ontological Argument Paul E. Oppenheimer CSLI/Stanford University / /

Holiday

Assumption / /

IndustryTerm

automated reasoning technologies / minimal logical and non-logical machinery / computational tools / proof search / /

Organization

Stanford University / /

Person

Johan van Benthem / Paul E. Oppenheimer / Edward N. Zalta / Bill McCune / Nathan Tawil / Branden Fitelson / Christopher Menzel / Jeffrey Kegler / /

Position

reverse engineer / MP / /

Product

proof.9 / earlier.7 / Lemma 2 / /

PublishedMedium

the Australasian Journal of Philosophy / /

SportsLeague

Stanford University / /

Technology

automated reasoning technologies / /

SocialTag