LOGICAFFEINEPackage Registry

Part I: First Steps

1. Introduction 2. How LOGOS Reads English 3. Getting Started 4. Tutorial: Teach the Computer to Guess 5. Checkpoint: First Steps

Part II: The Language

6. Variables and Types 7. Text 8. Operators and Expressions 9. Control Flow 10. Functions 11. Closures and Function Values 12. Collections 13. User-Defined Types 14. Generics 15. Error Handling 16. Checkpoint: The Language

Part III: Systems Programming

17. Memory and Ownership 18. The Zone System 19. Bits, Bytes, and Machine Words 20. Concurrency 21. Interoperability: Rust, Native, and WASM 22. Checkpoint: Systems Programming

Part IV: Distributed Programming

23. Distributed Types (CRDTs)24. P2P Networking 25. Policy-Based Security 26. Checkpoint: Distributed Programming

Part V: Projects and Tooling

27. Modules 28. The CLI: largo 29. Standard Library 30. How LOGOS Runs: The Five Tiers 31. Checkpoint: Projects and Tooling

Part VI: Logic and Verification

32. Logic Mode 33. Assertions and Trust 34. Z3 Static Verification 35. The Proof Engine: Theorems from English 36. Checkpoint: Logic and Verification

Part VII: Practice

37. Complete Examples 38. Recipes: How Do I…?

Part VIII: Reference

39. Quick Reference 40. Appendix: Every Operator, Both Spellings 41. Appendix: The Error Message Gallery 42. Appendix: Playground vs Compiled

First Steps

Introduction Syllogistic Logic Meaning and Definitions Fallacies and Argumentation Inductive Reasoning

Building Blocks

Basic Propositional Logic Propositional Proofs

Expanding Horizons

Basic Quantificational Logic Relations and Identity Basic Modal Logic Further Modal Systems Deontic and Imperative Logic Belief Logic

Mastery

A Formalized Ethical Theory Metalogic History of Logic Deviant Logics Philosophy of Logic

Studio Crates Roadmap Contact News Benchmarks

Package Registry

Find LOGOS Packages

Discover libraries to enhance your logic programs

Loading packages...