<--- Back to Details
First PageDocument Content
Metalogic / Logical consequence / Arguments for the existence of God / Ontological argument / Prover9 / First-order logic / Function / Entailment / Interpretation / Logic / Mathematics / Model theory
Date: 2011-03-23 12:52:55
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

Source URL: mally.stanford.edu

Download Document from Source Website

File Size: 226,02 KB

Share Document on Facebook

Similar Documents

Software / Theoretical computer science / Formal methods / Automated theorem proving / Logic in computer science / Proof assistants / Formal verification / Automated reasoning / KeY / Prover9 / Frama-C / First-order logic

Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis

DocID: 1lzVy - View Document

Model theory / Arguments for the existence of God / Ontological argument / Prover9 / First-order logic / Argument / Interpretation

Paul E. Oppenheimer and Edward N. ZaltaIntroduction

DocID: 1kFpg - View Document

Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011

DocID: 1gNFb - View Document

Formal languages / Semantics / Predicate logic / Theoretical computer science / Model theory / Discourse representation theory / First-order logic / Earley parser / Prover9 / Logic / Mathematics / Science

An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009

DocID: PoUg - View Document

Kumquat / Prover9 / FO / Flora / Mathematics / Asia / Citrus / Flora of China

Logics beyond the syllogistic boundary Larry Moss NASSLLI[removed]

DocID: aKFc - View Document