{"id":"d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","name":"Formal Logic","record":{"id":"d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","kind":"family","name":"Formal Logic","description":"","version":"","documents":[],"parents":[],"revision":1},"paths":[[{"id":"d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","kind":"family","name":"Formal Logic","description":"","version":"","documents":[],"parents":[],"revision":1}]],"members":[{"id":"97dd9e74-be89-4801-aeb6-faaa3b2fdb18","kind":"kernel","name":"FORMAL_LOGIC-45","description":"FORMAL_LOGIC-45 is a 45-Bit descriptive vocabulary kernel for foundational formal-logic concepts. It gives stable semantic addresses to logical objects and truth markers, truth-functional connectives, quantifiers and binding operations, semantic and syntactic consequence relations, classical inference patterns, validity and model properties, and a minimal bridge into modal logic. Each active Bit resolves deterministically through SK Memory to a symbol or schema, a concise Description, a Professional Use, a Personal Use grounded in CERBERUS architecture, and a References layer reserved but intentionally left blank in v0.1.","version":"","documents":["2cbbbd1e-5315-4c28-b4f8-1c85ac72da82"],"parents":["d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9"],"revision":4}],"kernels":[{"id":"97dd9e74-be89-4801-aeb6-faaa3b2fdb18","kind":"kernel","name":"FORMAL_LOGIC-45","description":"FORMAL_LOGIC-45 is a 45-Bit descriptive vocabulary kernel for foundational formal-logic concepts. It gives stable semantic addresses to logical objects and truth markers, truth-functional connectives, quantifiers and binding operations, semantic and syntactic consequence relations, classical inference patterns, validity and model properties, and a minimal bridge into modal logic. Each active Bit resolves deterministically through SK Memory to a symbol or schema, a concise Description, a Professional Use, a Personal Use grounded in CERBERUS architecture, and a References layer reserved but intentionally left blank in v0.1.","version":"","documents":["2cbbbd1e-5315-4c28-b4f8-1c85ac72da82"],"parents":["d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9"],"revision":4,"paths":[[{"id":"97dd9e74-be89-4801-aeb6-faaa3b2fdb18","kind":"kernel","name":"FORMAL_LOGIC-45","description":"FORMAL_LOGIC-45 is a 45-Bit descriptive vocabulary kernel for foundational formal-logic concepts. It gives stable semantic addresses to logical objects and truth markers, truth-functional connectives, quantifiers and binding operations, semantic and syntactic consequence relations, classical inference patterns, validity and model properties, and a minimal bridge into modal logic. Each active Bit resolves deterministically through SK Memory to a symbol or schema, a concise Description, a Professional Use, a Personal Use grounded in CERBERUS architecture, and a References layer reserved but intentionally left blank in v0.1.","version":"","documents":["2cbbbd1e-5315-4c28-b4f8-1c85ac72da82"],"parents":["d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9"],"revision":4},{"id":"d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","kind":"family","name":"Formal Logic","description":"","version":"","documents":[],"parents":[],"revision":1}]]}],"documents":[{"id":"2cbbbd1e-5315-4c28-b4f8-1c85ac72da82","name":"CERBERUS_FORMAL_LOGIC-45_Descriptive_Semantic_Kernel_Specification_v0.1.docx","size":1447706,"folder_id":null,"collection":"current","status":"available","textSpecificationUrl":"https://cerberusmatryoshka.org/read/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82","textDownloadUrl":"https://cerberusmatryoshka.org/api/public/specifications/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82/text","originalSpecificationUrl":"https://cerberusmatryoshka.org/api/public/files/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82","read":"https://cerberusmatryoshka.org/read/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82","download":"https://cerberusmatryoshka.org/api/public/files/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82"}],"missingDocuments":[],"specifications":[{"id":"2cbbbd1e-5315-4c28-b4f8-1c85ac72da82","name":"CERBERUS_FORMAL_LOGIC-45_Descriptive_Semantic_Kernel_Specification_v0.1.docx","size":1447706,"folder_id":null,"collection":"current","status":"available","textSpecificationUrl":"https://cerberusmatryoshka.org/read/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82","textDownloadUrl":"https://cerberusmatryoshka.org/api/public/specifications/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82/text","originalSpecificationUrl":"https://cerberusmatryoshka.org/api/public/files/2cbbbd1e-5315-4c28-b4f8-1c85ac72da82"}],"warnings":[],"registeredStructure":null,"documentStructure":null,"structureStatus":"not_registered","sourceAuthority":{"record":"Stored SK registry","registeredStructure":null,"documentStructure":null,"builder":"Separate Excel reference runtime","testResults":"Separate evidence; no execution or certification implied"},"machineAccess":{"structuredContextUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9","readerPlacementsUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/placements","bitRegistryUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/bits","validationTestsUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/validation","specificationStructureUrl":"https://cerberusmatryoshka.org/api/public/sk/d07c8a5e-8cda-4397-bdd4-9e4d9baeb8b9/specification"}}