{"schema":"mouseion.pinakes/1","id":"MA-OPEN-013","kind":"work","title":"Open Logic Text: Complete","native_identity":{"id":"MA-OPEN-013","namespace":"HQ-COL-001"},"version":{"basis":"APPROVED_PUBLIC_COLLECTION","version":"1.1.0","catalogue_sha256":"b451870f66ed42a0243cc272609f33733fa802f0afc26a747dcb264419d45ace"},"folio_ids":[],"source_ids":[],"statement":"An extensive, configurable treatment of formal logic and its metatheory.\nReading question: What separates truth in a model from provability in a formal system?","epistemic":{"canonical_status":"READ_AT_SOURCE","execution":"NOT_APPLICABLE","index_certifies_truth":false,"limitations":"Educational or research material; individual claims remain open to criticism. Availability and linked material can change. The source has mixed component rights; use its own terms. The complete build is a work in progress, not the preferred introductory student edition; begin with forall x: Calgary."},"bibliography":{"creators":["The Open Logic Project"],"date":null,"language":"en","identifiers":["MA-OPEN-013"],"subjects":["Proof & reasoning","mathematics","logic","proof","evidence"],"format":"book","original_url":"https://openlogicproject.org/download/"},"permissions":{"owner_read":true,"owner_private_archive":true,"visitor_metadata":true,"public_content_redistribution":false,"external_provider_content_transfer":false,"basis":"SOURCE_LINK_ONLY: The complete compilation includes separately restricted historical portraits, including noncommercial-only permissions; it also warns that this all-content build contains drafts. Link to the source; do not mirror this PDF under a blanket CC BY claim."},"provenance":{"basis":"HQ-COL-001","curation_date":"2026-10-16","catalogue_sha256":"b451870f66ed42a0243cc272609f33733fa802f0afc26a747dcb264419d45ace","attribution":"Open Logic Text: Complete — The Open Logic Project. Source: https://openlogicproject.org/download/. CC BY 4.0. Linked reading; no local full-text copy offered.","review_scope":"Bibliography, source availability, edition/contents and reuse notices inspected; not a complete scholarly review or a line-by-line proofread.","scientific_validation":"NOT_CLAIMED"},"rights_statement":"CC BY 4.0","local_preservation":{"held":false,"scope":"Source link only; no full-text mirror","files":[]},"opening_collection":{"id":"HQ-COL-001","shelf":"Proof & reasoning","access_mode":"READ_AT_SOURCE","reader_url":null,"entry_url":"/collection/","attribution_url":"/collection/ATTRIBUTION.html","reading_question":"What separates truth in a model from provability in a formal system?"}}