Skip to content

Ontology of Metaphysics

Applied Ontology Meets Philosophy

  • Main
  • Project Description
  • Deliverables
  • Related Projects
  • Presentations

Digitalizacja filozofii formalnej

Tekst

Digitalizacja filozofii formalnej

Dokumentacja

E+CVC4 and Mace4+Paradox Results

CVC4_Mace4_Results

PROVER9_Mace4_Results

 

 

Contents

  • Main
  • Project Description
  • Related Projects
  • Deliverables
    • OntOfOnt Family of Ontologies
    • Papers
      • Ontology of Texts
        • Ontology of Texts – Proofs
      • Slot Mereology
      • Digitalizacja filozofii formalnej
    • Book (In Polish)
    • Presentations
Proudly powered by WordPress