Logic Journal
- 2025-12-22-Operational-function-scribbles
- 2025-12-21-Necessity
- 2025-12-14-Operational-function-scribbles
- 2025-12-Code-X-specification
- 2025-11-22-Necessity
- 2025-11-16-Code-X-Unabbreviated_parsing
- 2025-11-01-Typed-declaration-in-disjunction-does-not-imply-existence
- 2025-10-31-Distinct
- 2025-11-Code-X-specification
- 2025-10-08-Code-X-Notation-interface
- 2025-10-08-Distinct
- 2025-10-08-Enum
- 2025-10-Code-X-specification
- 2025-10-04-Code-X-standard-notation-abbreviated-interface
- 2025-10-04-Code-X-standard-notation-unabbreviated-interface
- 2025-10-04-Code-X-standard-notation-inclusion-interface
- 2025-10-04-Code-X-standard-notation-stream-interface
- 2025-09-22-Notation-scribbles
- 2025-08-29-Higher-order
- 2025-08-25-Higher-order
- 2025-08-24-Stacks-and-queues
- 2025-08-23-Stacks-and-queues
- 2025-08-19-Stacks-and-queues
- 2025-08-18-Stacks-and-queues
- 2025-08-10-Stack
- 2025-08-07-Sense-and-reference-for-the-Wednesday
- 2025-08-03-Linked-lists
- 2025-08-02-Linked-lists
- 2025-07-30-Sense-and-reference-for-the-Wednesday
- 2025-07-29-Sense-and-reference-for-the-Wednesday
- 2025-07-27-Sense-and-reference-for-the-Wednesday
- 2025-07-21-Linked-lists
- 2025-07-20-Higher-order
- 2025-07-06-Prompt-for-motivation-for-artificial-language
- 2025-07-04-Sense-and-reference-for-the-Wednesday
- 2025-06-28-Sense-and-reference-for-the-Wednesday
- 2025-06-27-Operational-functions
- 2025-06-27-Intension-and-extension
- 2025-05-25-The-Analytic-Synthetic-Distinction-for-the-Wednesday
- 2025-04-27-Ntuple
- 2025-04-19-The-Analytic-Synthetic-Distinction-for-the-Wednesday
- 2025-04-18-The-Analytic-Synthetic-Distinction-for-the-Wednesday
- 2025-04-15-Necessity-and-Vagueness
- 2025-04-13-Necessity
- 2025-03-01-Code-X-operational-syntax-deprecated
- 2025-03-01-Code-X-hypertext-proposition
- 2024-12-07-Code-X-hypertext-proposition
- 2024-12-07-Code-X-operational-syntax
- 2024-12-07-Thoughts-on-Code-X-inclusion
- 2024-12-07-Thoughts-on-compound-operators-and-operands
- 2024-12-04-Code-X-hypertext-proposition
- 2024-12-04-Code-X-operational-syntax
- 2024-12-04-Code-X-hypertext-code
- 2024-12-03-Code-X-hypertext-code
- 2024-12-02-Code-X-hypertext-code
- 2024-12-01-Code-X-text
- 2024-12-01-Code-X-standard-notation-primitives
- 2024-11-30-Code-X-text
- 2024-11-28-Code-X-text
- 2024-11-28-Code-X-standard-notation-primitives
- 2024-11-28-Code-X-hypertext-proposition
- 2024-11-28-Code-X-specification-plans
- 2024-11-27-Text-definition-example
- 2024-11-25-Code-X-hypertext-proposition
- 2024-11-25-Code-X-hypertext-code
- 2024-11-25-Code-X-text
- 2024-11-25-Code-X-standard-notation
- 2024-11-25-Code-X-notation-interfaces
- 2024-11-22-Code-X-text
- 2024-11-22-Code-X-standard-notation
- 2024-11-22-Code-X-notation-interfaces
- 2024-11-22-Code-X-linked-code
- 2024-11-21-Code-X-standard-notation
- 2024-11-21-Code-X-notation-interfaces
- 2024-11-20-Code-X-linked-code
- 2024-11-19-Code-X-linked-proposition
- 2024-10-28-Definitions-in-Philosophy-to-The-Wednesday
- 2024-10-08-Code-X-text
- 2024-10-07-Code-X-text
- 2024-10-07-Code-X-standard-notation
- 2024-10-07-Code-X-text-unnecessarily-character-based
- 2024-10-06-Code-X-linked-proposition
- 2024-10-06-Code-X-standard-notation
- 2024-10-05-Code-X-linked-proposition
- 2024-10-05-Code-X-standard-notation
- 2024-10-04-Code-X-linked-proposition
- 2024-10-04-Code-X-standard-notation
- 2024-10-04-Code-X-standard-notation-primitives
- 2024-10-03-Code-X-standard-notation-primitives
- 2024-10-03-Character-stream-primitives
- 2024-09-29-Code-X-linked-proposition
- 2024-09-29-Operational-semantics-primitives
- 2024-09-29-Code-X-standard-notation-primitives
- 2024-09-29-Code-X-inclusion-primitives
- 2024-09-29-Character-stream-primitives
- 2024-09-25-Code-X-primitives-for-standard-code
- 2024-09-25-Code-X-primitives-for-standard-notation
- 2024-09-25-Code-X-primitives-for-standard-syntax
- 2024-09-25-Code-X-primitives-for-semantics
- 2024-09-24-Code-X-Personal_mark_concatenation
- 2024-09-24-Code-X-Personal_character_recognition
- 2024-09-24-Code-X-Personal_operational_function
- 2024-09-24-Code-X-Personal_vocabulary
- 2024-09-24-Code-X-Common-primitives
- 2024-09-14-Code-X-Character_recognition
- 2024-09-14-Code-X-Your_character_recognition
- 2024-09-13-Code-X-specification-strategy
- 2024-09-06-Code-X-specification-strategy
- 2024-09-05-UnabbreviatedCodeXProposition
- 2024-08-31-Generalised-operational-syntax-parsing-interface
- 2024-08-31-Logic
- 2024-08-31-Syntax-scribbles
- 2024-08-30-Syntax-scribbles
- 2024-07-29-Extended-predication
- 2024-02-02-Extended-predication
- 2024-02-01-Syntax-scribbles
- 2024-02-01-Definitions-scribbles
- 2024-02-01-Extended-predication
- 2024-01-31-Extended-predication
- 2024-01-31-Objects-predicates-timespace-scribbles
- 2024-01-31-Mutual-singletons-eg-objects-and-coordinates
- 2024-01-31-Objects-and-predication
- 2024-01-31-Conceptual-structures
- 2024-01-13-Identities-are-not-always-necessary
- 2024-01-06-Conceptual-structures
- 2023-12-28-Being-for-the-Wednesday
- 2023-12-27-Being-for-the-Wednesday
- 2023-12-20-Being-for-the-Wednesday
- 2023-11-15-Being-for-the-Wednesday
- 2023-10-14-Objects-and-predication
- 2023-08-05-Operational-structure-example
- 2023-08-05-Logic
- 2023-07-04-Identity-questions-for-the-Wednesday
- 2023-07-04-Approximate-equivalence
- 2023-06-19-Approximate-equivalence
- 2023-06-18-Identity-questions-for-the-Wednesday
- 2023-06-06-Identity-and-necessity
- 2023-05-23-Negation-of-variadics-with-complete-definitions
- 2023-05-23-Negation-of-variadics
- 2023-05-23-Adic-scribbles-and-complete-definitions
- 2023-05-22-Negation-of-variadics
- 2023-05-06-Intension-and-extension
- 2023-05-06-Logic
- 2023-05-03-Conceptual-structures
- 2023-02-14-Operational-function
- 2023-02-07-Operational-function
- 2023-02-04-Operational-function
- 2023-01-04-Relativity
- 2022-12-24-Dictionary-templates
- 2022-12-15-New-Syntax-Scribbles
- 2022-12-04-Dictionary-templates
- 2022-12-02-Code-X-specification-and-interfaces
- 2022-11-28-Code-X-specification-and-interfaces
- 2022-11-27-Code-X-specification-and-interfaces
- 2022-11-02-Conceptual-structures
- 2022-10-30-Conceptual-structures
- 2022-10-11-Code-X-semantics
- 2022-10-11-Code-X-code
- 2022-10-11-Code-X-syntax
- 2022-10-11-Code-X-text
- 2022-10-11-Code-X-specification-in-English
- 2022-10-09-Logic
- 2022-10-08-Meaningless-declared-variables
- 2022-08-29-Uncertainty
- 2022-08-20-Grue
- 2022-07-17-Operational-concepts
- 2022-07-08-Operational-structures
- 2022-07-08-Function-result
- 2022-07-04-Conditional-definitions
- 2022-07-01-Conditional-definitions
- 2022-06-29-Operational-structures-scribbles
- 2022-06-25-Fiction-and-non-fiction-for-The-Wednesday
- 2022-06-24-Fiction-and-non-fiction-for-The-Wednesday
- 2022-06-23-Fiction-and-non-fiction-for-The-Wednesday
- 2022-04-30-Definitions-scribbles
- 2022-04-19-Definitions-scribbles
- 2022-04-18-Definitions
- 2022-04-17-Definitions
- 2022-04-13-Propositions
- 2022-03-26-Types-and-incomplete-definitions-scribbles
- 2022-03-25-Propositions
- 2022-03-20-Primitive-identity-scribbles
- 2022-03-09-Aristotles-square-scribbles
- 2022-02-19-Intension-and-extension
- 2021-12-31-Intension-and-extension
- 2021-12-19-Types
- 2021-11-26-Facts-not-things-for-The-Wednesday-notes
- 2021-11-20-Reifying-concepts
- 2021-11-17-Reifying-concepts
- 2021-11-16-Facts-not-things-for-The-Wednesday
- 2021-11-14-Facts-not-things-for-The-Wednesday
- 2021-11-11-Facts-not-things-for-The-Wednesday
- 2021-11-05-Code-X-to-Ruud
- 2021-10-31-Double-negation
- 2021-10-27-Double-negation
- 2021-10-27-Facts-not-things-for-The-Wednesday
- 2021-10-19-Facts-not-things-for-The-Wednesday
- 2021-10-04-Facts-not-things-for-The-Wednesday
- 2021-09-19-Intension-and-extension
- 2021-09-15-Cardinal-numbers-no-predecessor-to-zero
- 2021-09-15-Cardinal-numbers-theorems
- 2021-09-15-Code-X-refers
- 2021-09-14-Cardinal-numbers
- 2021-09-14-Code-X-refers
- 2021-09-14-Code-X-semantics
- 2021-09-14-Code-X-code
- 2021-09-14-Code-X-syntax
- 2021-09-14-Code-X-text
- 2021-09-11-Proof
- 2021-09-06-Proof
- 2021-08-31-Code-X-specification-in-English
- 2021-08-31-Automated-links
- 2021-08-30-Complete-definitions
- 2021-08-29-Cardinal-numbers-no-predecessor-to-zero
- 2021-08-29-Cardinal-numbers-theorems
- 2021-08-29-Cardinal-numbers
- 2021-08-28-Cardinal-numbers
- 2021-08-27-Cardinal-numbers
- 2021-08-23-Ordinal-numbers
- 2021-08-22-Cardinal-numbers
- 2021-08-22-Numbers
- 2021-08-22-Code-X-specification-in-English
- 2021-08-22-Code-X-semantics
- 2021-08-22-Code-X-code
- 2021-08-22-Code-X-syntax
- 2021-08-22-Code-X-text
- 2021-08-22-Logic
- 2021-08-17-Still-trying-to-learn-from-the-liar-and-definition-scribbles
- 2021-08-14-Goedel-incompleteness
- 2021-08-07-Goedel-incompleteness
- 2021-08-07-Logic
- 2021-08-07-Definition-scribbles
- 2021-08-06-Goedel-incompleteness
- 2021-07-26-A-non-formal-artificial-language
- 2021-07-06-Logic
- 2021-07-06-Logic[
- 2021-07-06-Do-not-use-variadic-primitive-negation
- 2021-06-20-Aristotle-square-scribbles
- 2021-05-24-The-Incompleteness-of-Meaning-for-The-Wednesday
- 2021-05-23-Still-trying-to-learn-from-the-liar-and-definition-scribbles
- 2021-05-10-Learning-from-paradox-beyond-formal-logic
- 2021-05-08-Learning-from-paradox-beyond-formal-logic
- 2021-05-05-Learning-from-paradox-beyond-formal-logic
- 2021-05-01-Learning-from-paradox-beyond-formal-logic
- 2021-04-10-Use-of-Not-to-express-contingent-truth
- 2021-03-28-The-language-of-music-preparation
- 2021-03-27-The-language-of-music-preparation
- 2021-03-19-Use-of-Not-to-express-contingent-truth
- 2021-03-13-Still-trying-to-learn-from-the-liar
- 2021-02-12-Weak-vs-strong-representation-in-Goedel
- 2021-02-08-Email-scribbles-on-the-Liar
- 2021-01-08-Code-X-semantics
- 2020-12-31-Code-X-specification-in-English
- 2020-12-31-Code-X-text
- 2020-12-31-Code-X-syntax
- 2020-12-31-Code-X-code
- 2020-12-31-Code-X-semantics
- 2020-12-31-Remove-primitives-from-Code-X-specification
- 2020-12-30-Remove-primitives-from-Code-X-specification
- 2020-12-26-Remove-primitives-from-Code-X-specification
- 2020-12-20-Concepts-again-for-Wednesday-discussion
- 2020-12-18-The-structure-of-definitions-Wednesday-discussion
- 2020-12-09-Types
- 2020-12-06-Code-X-specification-in-English
- 2020-12-06-Code-X-semantics
- 2020-12-06-Code-X-syntax
- 2020-12-06-Code-X-text
- 2020-12-06-CHANGED-SYNTAX-BACKWARDS-COMPATIBLE-compound-types
- 2020-12-06-New-declaration-syntax-scribbles
- 2020-12-06-Types
- 2020-12-05-Types
- 2020-12-05-Type-scribbles
- 2020-11-29-Code-X-shortcomings
- 2020-11-28-Still-trying-to-learn-from-the-liar
- 2020-11-27-Still-trying-to-learn-from-the-liar
- 2020-11-13-Code-X-specification-in-English
- 2020-11-13-Code-X-syntax
- 2020-11-13-Code-X-specification-in-English
- 2020-11-12-Code-X-syntax
- 2020-10-31-Code-X-specification-in-English
- 2020-10-31-Code-X-semantics
- 2020-10-30-Generalising-semantics
- 2020-09-08-Code-X-specification-in-English
- 2020-09-06-Dictionary-template
- 2020-09-01-Numbers
- 2020-08-31-Numbers
- 2020-08-30-Numbers
- 2020-08-29-About-local-dictionaries
- 2020-08-26-Number-scribbles-typing-arguments
- 2020-08-25-Numbers
- 2020-08-17-Numbers
- 2020-08-14-Numbers
- 2020-08-10-Code-X-specification-in-English
- 2020-08-10-Code-X-semantics
- 2020-08-08-Code-X-specification-in-English
- 2020-08-08-Code-X-semantics
- 2020-08-08-Code-X-code
- 2020-08-08-Code-X-syntax
- 2020-08-08-Code-X-text
- 2020-08-08-Logic[#]
- 2020-08-07-Meaningless-declared-variables
- 2020-08-05-Numbers
- 2020-08-05-Logic[#]
- 2020-08-04-Definition-scribbles
- 2020-08-04-Numbers
- 2020-07-10-Numbers
- 2020-07-09-Numbers
- 2020-07-04-Numbers
- 2020-07-03-Numbers
- 2020-07-02-Numbers
- 2020-06-29-Numbers
- 2020-06-28-Numbers
- 2020-06-27-Numbers
- 2020-06-26-Equivalence-partitions
- 2020-06-26-Type-conversion-and-overloading-for-numerical-operations
- 2020-06-25-Numbers-Natural
- 2020-06-25-Numbers-Arguments
- 2020-06-25-Relationship-Operators
- 2020-06-25-Useful-truth-functions
- 2020-06-22-Causation-and-intentional-action-for-The-Wednesday
- 2020-06-20-Data-structures-example
- 2020-06-19-Data-structures
- 2020-06-13-Code-X-specification-in-English
- 2020-06-01-Adicity
- 2020-05-29-Adicity
- 2020-05-23-Agency
- 2020-05-23-Cause
- 2020-05-14-Necessity
- 2020-05-14-Adicity
- 2020-05-14-Definitions[#]
- 2020-05-13-Identity-not-too-strong
- 2020-05-10-Numbers-Arguments
- 2020-05-10-Necessity
- 2020-05-10-Types-of-identity
- 2020-05-09-Identity-too-strong
- 2020-05-02-Data-structures
- 2020-05-02-Numbers-Rational
- 2020-04-27-Numbers-Rational
- 2020-04-25-Numbers-Integer
- 2020-04-25-Numbers-Natural
- 2020-04-25-Definitions
- 2020-04-23-Ideas-and-guesses
- 2020-04-22-Probability
- 2020-04-19-Information
- 2020-04-18-Information-Probability-and-Ratio
- 2020-02-26-Definitions
- 2020-01-18-Code-X-specification-in-English
- 2020-01-18-Code-X-syntax
- 2020-01-17-Code-X-grammar-scribbles
- 2020-01-17-Referential-and-social-meaning-for-The-Wednesday
- 2020-01-11-Code-X-specification-in-English
- 2020-01-11-Code-X-semantics
- 2020-01-11-Code-X-syntax
- 2020-01-11-Code-X-text
- 2020-01-11-Useful-truth-functions
- 2020-01-11-Definitions
- 2020-01-01-Cause-scribbles
- 2019-12-28-Cause-scribbles
- 2019-12-23-Generalising-semantics
- 2019-09-29-Still-trying-to-learn-from-the-liar
- 2019-09-26-Still-trying-to-learn-from-the-liar
- 2019-09-21-Still-trying-to-learn-from-the-liar
- 2019-09-19-Still-trying-to-learn-from-the-liar
- 2019-09-18-Still-trying-to-learn-from-the-liar
- 2019-09-15-Code-X-specification-in-English
- 2019-09-15-Code-X-semantics
- 2019-09-15-Still-trying-to-learn-from-the-liar
- 2019-09-14-Code-X-syntax
- 2019-09-14-Code-X-code
- 2019-09-14-Code-X-text
- 2019-09-14-Code-X-specification-in-English
- 2019-09-14-Code-X-semantics
- 2019-09-14-Still-trying-to-learn-from-the-liar
- 2019-09-12-Code-X-semantics
- 2019-09-12-Still-trying-to-learn-from-the-liar
- 2019-09-11-Code-X-semantics
- 2019-09-11-Still-trying-to-learn-from-the-liar
- 2019-09-08-Code-X-semantics
- 2019-09-08-Still-trying-to-learn-from-the-liar
- 2019-08-29-Agnostic-arguments
- 2019-08-02-Theorems
- 2019-07-26-Reification
- 2019-07-25-Reification
- 2019-07-25-Necessity
- 2019-07-24-Identity-and-necessity
- 2019-07-24-Identity-questions-for-the-Wednesday
- 2019-07-21-Reification
- 2019-07-20-Identity-questions-for-the-Wednesday
- 2019-07-19-Identity-questions-for-the-Wednesday
- 2019-07-06-Various-numbers
- 2019-06-20-Numbers-Natural
- 2019-06-18-Numbers-Integer
- 2019-06-18-Numbers-Natural
- 2019-06-13-Numbers-Natural
- 2019-06-05-Numbers-Real
- 2019-05-31-IfElse-operator
- 2019-05-26-Not-defining-niladics
- 2019-05-25-Change
- 2019-05-24-Cause-import-example
- 2019-05-23-Variadic-truth-functions
- 2019-05-22-Variadic-truth-functions
- 2019-05-16-Cause
- 2019-05-16-Numbers-Rational
- 2019-05-15-Numbers-Natural
- 2019-05-12-Cause
- 2019-05-09-Cause
- 2019-05-09-Relationship-Operators
- 2019-05-09-Useful-truth-functions
- 2019-05-07-Explanation
- 2019-05-03-Identity-for-the-Wednesday
- 2019-05-03-Approximate-equivalence
- 2019-04-29-Identity-for-the-Wednesday
- 2019-04-26-Identity-for-the-Wednesday
- 2019-04-26-Approximate-equivalence
- 2019-04-20-Concepts-for-the-Wednesday
- 2019-04-13-Concepts-for-the-Wednesday
- 2019-04-12-Concepts-for-the-Wednesday
- 2019-04-11-Concepts-for-the-Wednesday
- 2019-04-05-Concepts-for-the-Wednesday
- 2019-03-30-Code-X-specification-in-English
- 2019-03-30-Code-X-semantics
- 2019-03-29-Concepts-for-the-Wednesday
- 2019-03-28-Concepts-for-the-Wednesday
- 2019-03-27-Concepts-for-the-Wednesday
- 2019-03-22-Concepts-for-the-Wednesday
- 2019-03-19-Concepts-for-the-Wednesday
- 2019-03-15-Code-X-specification-in-English
- 2019-03-15-Code-X-semantics
- 2019-03-14-Still-trying-to-learn-from-the-liar
- 2019-03-12-Still-trying-to-learn-from-the-liar
- 2019-03-09-Concepts-for-the-Wednesday
- 2019-03-01-Absolute-value-for-the-Wednesday
- 2019-02-08-Still-trying-to-learn-from-the-liar
- 2019-02-02-Wittgenstein-Religion-and-Nonsense-for-Friday-and-the-Wednesday
- 2019-01-27-Mathematics-for-the-Wednesday
- 2019-01-08-Still-trying-to-learn-from-the-liar
- 2019-01-05-Code-X-semantics
- 2019-01-05-Code-X-syntax
- 2019-01-05-Code-X-code
- 2019-01-05-Code-X-text
- 2019-01-05-Variadic-truth-functions
- 2019-01-05-Useful-truth-functions
- 2019-01-03-Definitions
- 2019-01-02-Code-X-specification-in-English
- 2019-01-02-Code-X-semantics
- 2019-01-01-Code-X-specification-in-English
- 2019-01-01-Code-X-syntax
- 2019-01-01-Variadic-truth-functions-using-non-empty-types
- 2019-01-01-Variadic-truth-functions-using-flexible-syntax
- 2019-01-01-Variadic-truth-functions
- 2018-12-30-Proposed-changes-to-Code-X-semantics
- 2018-12-21-Code-X-specification-in-English
- 2018-12-21-Code-X-syntax
- 2018-12-21-Code-X-semantics
- 2018-12-13-Proposed-changes-to-Code-X-semantics
- 2018-12-12-Code-X-semantics
- 2018-11-30-Proposed-changes-to-Code-X-semantics
- 2018-11-27-Code-X-specification-in-English
- 2018-11-27-Code-X-semantics
- 2018-11-17-Code-X-specification-in-English
- 2018-11-17-Code-X-text
- 2018-11-17-Code-X-code
- 2018-11-17-Code-X-syntax
- 2018-11-17-Code-X-semantics
- 2018-11-15-Code-X-specification-in-English
- 2018-11-15-Code-X-semantics
- 2018-11-15-Dictionary-compressed
- 2018-11-15-Dictionary
- 2018-11-12-Proposed-changes-to-Code-X-semantics
- 2018-10-30-TruthFunction
- 2018-10-28-Useful-truth-functions
- 2018-10-28-Dictionary[
- 2018-09-29-Moral-Values-for-The-Wednesday
- 2018-09-14-Omega-consistency
- 2018-07-21-False-is-not-a-logical-operator
- 2018-07-12-Code-X-semantics
- 2018-07-12-Code-X-code
- 2018-07-12-Code-X-syntax
- 2018-07-12-Code-X-text
- 2018-07-12-Code-X-specification-in-English
- 2018-07-06-Learning-from-liars
- 2018-06-09-Cause
- 2018-05-18-Approximate-equivalence
- 2018-05-12-Code-X-specification-in-English
- 2018-05-12-Code-X-semantics
- 2018-05-05-Code-X-specification-in-English
- 2018-05-05-Code-X-syntax
- 2018-05-05-Checking-abbreviation-syntax
- 2018-05-04-Code-X-specification-in-English
- 2018-05-04-Code-X-code
- 2018-05-03-Code-X-specification-in-English
- 2018-05-03-Code-X-semantics
- 2018-05-03-Code-X-syntax
- 2018-04-25-Code-X-specification-in-English
- 2018-04-25-Code-X-text
- 2018-04-24-Code-X-specification-in-English
- 2018-04-24-Code-X-code
- 2018-04-23-Code-X-specification-in-English
- 2018-04-23-Code-X-semantics
- 2018-04-20-Code-X-semantics
- 2018-04-20-Code-X-code
- 2018-04-20-Code-X-scribbles
- 2018-04-19-Code-X-specification-in-English
- 2018-04-19-Code-X-specification-in-English with briefer grammar
- 2018-04-18-Code-X-specification-in-English
- 2018-04-18-Code-X-syntax
- 2018-04-15-Code-X-specification-in-English
- 2018-04-15-Code-X-syntax
- 2018-04-14-Code-X-specification-in-English
- 2018-04-14-Code-X-semantics
- 2018-04-14-Adicity
- 2018-04-14-Zero[]
- 2018-04-14-Niladicity-vs-Information
- 2018-04-13-Code-X-specification
- 2018-04-05-Extension
- 2018-04-04-Code-X-specification
- 2018-04-03-Code-X-specification
- 2018-03-27-Orders
- 2018-03-26-Code-X-specification
- 2018-03-20-Code-X-specification
- 2018-03-17-Higher-order
- 2018-03-11-Variadic-conjunction
- 2018-03-11-Approximate-transitivity
- 2018-03-09-Zero
- 2018-03-09-Ambiguous-definition
- 2018-03-06-Code-X-specification
- 2018-03-05-Code-X-specification
- 2018-03-03-Code-X-specification
- 2018-03-01-Code-X-specification
- 2018-02-28-Code-X-specification
- 2018-02-27-Code-X-specification
- 2018-02-25-Code-X-specification
- 2018-02-23-Operations-grammar
- 2018-02-23-Operations-references
- 2018-02-23-Operations-comments
- 2018-02-23-Operations-specification
- 2018-02-21-Operations-text-utilities
- 2018-02-20-Amended-text
- 2018-02-19-Operations-scribbles
- 2018-02-19-Operations-comments
- 2018-02-19-Operations-tokens
- 2018-02-19-Operations-character-constants
- 2018-02-19-Operations-text-utilities
- 2018-02-19-Operations-hypertext-primitives
- 2018-02-19-Operations-text-primitives
- 2018-02-19-Operations-specification
- 2018-02-17-Operations-comments
- 2018-02-09-Find-and-replace-to-Jaques
- 2018-02-08-Operations-tokens
- 2018-02-08-Operations-specification
- 2018-02-07-Operations-punctuation
- 2018-02-07-Operations-text-utilities
- 2018-02-07-Operations-text-primitives
- 2018-02-07-Operations-specification
- 2018-02-06-Equivalence-object
- 2018-02-06-Predicate-disproof
- 2018-02-03-Operations-hypertext-primitives
- 2018-02-03-Operations-specification
- 2018-02-03-Operations-scribbles
- 2018-02-01-Dataset-example-not-variadic
- 2018-02-01-Dataset-example
- 2018-02-01-Datasets
- 2018-01-31-Datasets
- 2018-01-31-Variadic-operators
- 2018-01-28-Sentience-and-animal
- 2018-01-21-Operations-scribbles
- 2018-01-13-Variadic-operators
- 2018-01-13-Limits-to-vagueness
- 2018-01-13-Zero[]
- 2018-01-10-Code-X-Characters
- 2018-01-10-Zero[]
- 2018-01-10-Limits-to-iteration-instances
- 2018-01-04-Operations
- 2018-01-04-Zero[]
- 2018-01-04-Operations-scribbles
- 2018-01-01-Zero[]
- 2017-12-19-Zero[]
- 2017-12-19-Variadic-operators
- 2017-12-19-Short-notes-on-typing-contexts
- 2017-12-16-Short-notes-on-typing-contexts
- 2017-12-15-Short-notes-on-typing-contexts
- 2017-12-10-Code-X-Strings
- 2017-12-07-Code-X-Strings
- 2017-11-20-Limits-to-iteration-instances
- 2017-11-19-Limits-to-iteration-instances
- 2017-11-19-Operations-scribbles
- 2017-11-18-Operations-scribbles
- 2017-11-02-Operations-scribbles
- 2017-10-15-Liar-to-PhilSoc-Friday
- 2017-10-14-Liar-to-PhilSoc-Friday
- 2017-10-13-Liar-to-PhilSoc-Friday
- 2017-10-12-Liar-to-PhilSoc-Friday
- 2017-10-12-Liar-scribbles-heterological
- 2017-10-11-Liar-to-PhilSoc-Friday
- 2017-10-11-Liar-scribbles-avoiding-contradiction-in-X
- 2017-10-07-Liar-to-PhilSoc-Friday
- 2017-10-07-Operation-scribbles
- 2017-09-29-Liar-to-PhilSoc-Friday
- 2017-09-29-Liar-to-PhilSoc-Friday-announcement
- 2017-09-26-Liar-scribbles-context-and-meaning
- 2017-09-22-Liar-to-PhilSoc-Friday
- 2017-09-22-Liar-scribbles-this-is-meaningless
- 2017-09-22-Liar-scribbles-definition-of-untrue
- 2017-09-22-Operation-scribbles
- 2017-09-21-Liar-to-PhilSoc-Friday
- 2017-09-20-Liar-scribbles-this-is-meaningless
- 2017-09-16-Operation-scribbles
- 2017-09-08-Operation-scribbles
- 2017-09-03-Operation-scribbles
- 2017-09-01-Operation-scribbles
- 2017-07-28-Class-use-example
- 2017-07-28-Class-definition-example
- 2017-07-28-Class-interface-example
- 2017-07-28-Object-oriented-scribbles
- 2017-07-27-List-to-property
- 2017-07-27-Subiteration-scribbles
- 2017-07-27-Operation-scribbles
- 2017-07-26-Operation-scribbles
- 2017-06-04-Code-X-Strings
- 2017-06-02-Code-X-Characters
- 2017-06-01-Code-X-Specification-in-English
- 2017-05-31-Code-X-Specification-in-English
- 2017-05-30-Niladic
- 2017-05-30-Zero[]
- 2017-05-21-Strings
- 2017-05-20-Strings-sequences-arrays
- 2017-04-27-Strings
- 2017-04-26-XBoot[]
- 2017-04-26-Short-notes-on-typing-contexts
- 2017-04-25-Niladic-based-types
- 2017-04-24-XBoot[]
- 2017-04-24-Strings-and-defined-objects-as-monadic
- 2017-04-23-Strings-and-defined-objects-as-monadic
- 2017-04-17-Data-structure-techniques
- 2017-04-16-Data-structure-techniques-Objects-are-Information-are-Niladic
- 2017-04-14-Data-structure-techniques
- 2017-04-11-Strings
- 2017-04-09-Strings
- 2017-04-09-Code-X-Specification-in-English
- 2017-04-08-Code-X-Specification-in-English
- 2017-04-02-Code-X-Specification-in-English
- 2017-03-25-Code-X-Specification-in-English
- 2017-03-21-Code-X-Specification-in-English
- 2017-03-15-Code-X-Specification-in-English
- 2017-03-15-Code-X-Specification-in-Code-X
- 2017-03-04-Code-X-Specification-in-English
- 2017-03-04-Code-X-Specification-in-Code-X
- 2017-03-04-XBoot[]
- 2017-03-03-Code-X-Specification-in-English
- 2017-03-03-Code-X-Specification-in-Code-X
- 2017-03-02-Code-X-Specification-in-English
- 2017-03-02-Code-X-Specification-in-Code-X
- 2017-03-01-Code-X-Specification-in-English
- 2017-03-01-Code-X-Specification-in-Code-X
- 2017-03-01-In-Progress-Code-X-Specification
- 2017-03-01-XBoot[]
- 2017-02-28-Code-X-Specification-scribbles
- 2017-02-22-Facts-and-things
- 2017-02-18-Semantics-scribbles
- 2017-02-17-Limits-to-iteration-instances
- 2017-01-12-Equivalent-numbers-may-not-be-identical
- 2017-01-11-Equivalence-operators-are-equivalence-relations
- 2017-01-10-Numbers-Natural
- 2017-01-04-Numbers-Natural
- 2017-01-04-Numbers-Natural-aborted-proofs
- 2016-12-31-Infinitary-addition
- 2016-12-31-Numbers-Natural
- 2016-12-24-Vagueness
- 2016-12-07-Relativism
- 2016-11-24-Infinitary-addition
- 2016-11-24-Numbers-Natural
- 2016-11-22-Analyticity
- 2016-11-14-Information-scribbles
- 2016-11-13-Numbers-Natural
- 2016-11-13-Information-scribbles
- 2016-11-05-XBoot[]
- 2016-11-04-Equivalent-order-scribbles
- 2016-11-01-Equivalent-order-scribbles
- 2016-10-31-Equivalent-order-scribbles
- 2016-10-30-XBoot[]
- 2016-10-29-Cause
- 2016-10-29-XBoot[]
- 2016-10-28-Cause
- 2016-10-28-Causation-requiring-temporal-direction
- 2016-09-27-Cause
- 2016-07-31-Causes
- 2016-07-31-XBoot[]
- 2016-07-07-PersistentStateMachine
- 2016-06-24-Strings
- 2016-06-04-String-processing-scribbles
- 2016-05-14-XBoot[]
- 2016-05-05-New-iterator-syntax-scribbles
- 2016-04-29-XBoot
- 2016-04-29-New-argument-syntax-scribbles
- 2016-04-23-Cause
- 2016-04-23-Numbers-Rational
- 2016-04-19-Cause
- 2016-04-19-Event
- 2016-04-19-Numbers-Rational
- 2016-04-16-XBoot
- 2016-04-15-Some-planned-entries
- 2016-04-02-Ostensive-definitions
- 2016-01-10-Numbers-Natural
- 2016-01-05-Uninstantiated-operands-counting-and-identity
- 2015-09-16-Atomic-events-not-presupposed
- 2015-07-03-Numbers-Rational
- 2015-05-29-Numbers-Rational
- 2015-05-29-Numbers-Natural
- 2015-05-26-Cause
- 2015-05-23-Numbers-Natural
- 2015-05-20-XBoot
- 2015-05-20-Cause
- 2015-05-17-Cause
- 2015-05-17-Event
- 2015-05-17-Relationship-Operators
- 2015-05-17-Ratio-Dict
- 2015-05-16-Ratio-Dict
- 2015-05-16-Binary-Relationships
- 2015-05-15-Interpreting-iteration
- 2015-05-15-Relationship-properties
- 2015-05-13-Relationship-properties
- 2015-05-13-Untyped-iterators
- 2015-05-05-XBoot
- 2015-05-03-XBoot
- 2015-04-08-XBoot
- 2015-04-08-Zero-Dict
- 2015-04-08-CHANGED-SYNTAX-typed-iterators
- 2015-04-08-Operand-number-affects-type
- 2015-04-08-Expresses
- 2015-04-07-Expresses
- 2015-03-28-Relationship-properties
- 2015-03-22-Iteration-cannot-represent-an-operator
- 2015-03-21-XBoot
- 2015-03-21-CHANGED-SYNTAX-typed-iterators
- 2015-03-19-Expressing-information-vs-operations
- 2015-03-14-Peano-axiom-3-proof
- 2015-03-14-Peano-axiom-1-proof
- 2015-03-14-Peano-axiom-2-proof
- 2015-03-13-Peano-axiom-1-proof
- 2015-03-13-Peano-axiom-2-proof
- 2015-03-13-Peano-axiom-2-proof-clickable
- 2015-03-07-Peano-axiom-5-proof
- 2015-03-07-Peano-axiom-4-proof
- 2015-03-07-Peano-axiom-3-proof
- 2015-03-07-Peano-axiom-1-proof
- 2015-03-07-Peano-axiom-2-proof
- 2015-03-07-Peano-axioms
- 2015-02-26-Language
- 2015-02-24-Language
- 2015-02-24-Language-Primitives
- 2015-02-19-Language
- 2015-02-09-Impossible-to-define-existence-as-an-operand
- 2015-01-30-Extended-iterator-scribbles
- 2015-01-18-Extended-iterator-scribbles
- 2015-01-17-Extended-iterator-scribbles
- 2014-12-31-Language
- 2014-12-31-Language-Primitives
- 2014-12-19-Meaning
- 2014-12-19-Language
- 2014-12-19-Language-Primitives
- 2014-12-09-Numbers-Natural
- 2014-12-01-Proof-extensional-equivalence-is-not-identity
- 2014-11-25-Example-Science-Cause-Dict
- 2014-11-25-IndirectRelationship-Dict
- 2014-11-25-Cause-Dict
- 2014-11-25-Ratio-Dict
- 2014-10-18-Fundamental-logic-first-order-logic
- 2014-10-18-Fundamental-logic-introduction-to-code-x
- 2014-09-25-Not-attempting-daily-journal-entries
- 2014-09-23-Multiverses
- 2014-09-22-Fundamental-logic-propositional-calculus
- 2014-09-22-Proof-conventions
- 2014-09-21-Proof-conventions
- 2014-09-20-Fundamental-logic-propositional-calculus
- 2014-09-20-TruthFunction-Dict
- 2014-09-19-Fundamental-logic-possible-chapters
- 2014-09-15-Fundamental-logic-introduction-to-code-x
- 2014-09-15-Functions
- 2014-09-06-Fundamental-logic-introduction-to-code-x
- 2014-09-05-Functions
- 2014-09-04-Fundamental-logic-introduction-to-code-x
- 2014-08-30-Meaning
- 2014-08-28-Language
- 2014-08-28-Language-Primitives
- 2014-08-26-Truth-tables-and-independence
- 2014-08-26-Careful-analysis-of-the-concept-of-definition-avoids-some-semantic-paradoxes
- 2014-08-10-Practising-uninstantiated-iterators
- 2014-08-09-Reification-with-scribbles
- 2014-08-09-Sets-do-not-exist
- 2014-08-07-Reification
- 2014-07-15-Sets
- 2014-07-01-Propositional-calculus-axioms
- 2014-06-28-Operators-cannot-be-functions-of-the-operand-of-their-operand
- 2014-06-19-Sets
- 2014-06-15-Language
- 2014-06-14-Language
- 2014-06-14-Language-Primitives
- 2014-06-04-Sets-do-not-exist
- 2014-05-31-Numbers-Natural
- 2014-05-31-XBoot
- 2014-05-27-Family-Operators-vs-Information
- 2014-05-27-Family-Primitives-Dict
- 2014-05-27-Definition-Dict
- 2014-05-26-Family-Operators-vs-Information
- 2014-05-26-Family-Primitives-Dict
- 2014-05-26-Definition-Dict
- 2014-05-25-Predicate
- 2014-05-25-Plans
- 2014-05-22-Object-oriented
- 2014-05-20-Language
- 2014-05-20-Language-Primitives
- 2014-05-18-Language
- 2014-05-18-Language-Primitives
- 2014-04-27-Definition-Example
- 2014-04-27-Definition-Dict
- 2014-04-25-Paradoxical-Definitions
- 2014-04-22-Metalanguage-scribbles
- 2014-04-02-Compound-operator-inconsistency
- 2014-04-01-Syntax-with-simple-iterators-and-optional-space
- 2014-03-31-Syntax-with-simple-iterators-and-optional-space
- 2014-03-31-Syntax-metalanguage
- 2014-03-31-Language-Primitives
- 2014-03-22-Language
- 2014-03-21-Language
- 2014-03-18-Language
- 2014-03-17-Language
- 2014-03-17-Information
- 2014-02-08-Contradictory-Definitions
- 2014-01-24-Meaning
- 2014-01-01-Overloaded-Definitions
- 2013-12-31-Numbers-Integers
- 2013-12-31-Numbers-Natural
- 2013-12-31-Numbers-Utility
- 2013-12-31-Numbers-Integers-Def
- 2013-12-31-Numbers-Natural-Def
- 2013-12-31-Numbers-Utility-Def
- 2013-10-12-Combining-with-facts
- 2013-10-04-Family-Operators-vs-Information
- 2013-10-12-Combining-with-facts
- 2013-09-24-Language-fundamentals-primitives
- 2013-09-21-Syntax-with-simple-iterators-and-optional-space
- 2013-09-21-Syntax-metalanguage
- 2013-09-21-Syntax-metalanguage-primitives
- 2013-09-21-Alternative-iterator-syntax-scribbles
- 2012-10-21-Definition-style-and-purpose
- 2012-10-06-Numbers-Integers
- 2012-09-18-Numbers-Integers
- 2012-08-30-Numbers-Natural
- 2012-08-28-Numbers-Utility
- 2012-07-23-Recursive-Counting
- 2012-07-21-Positive-and-Negative-Dict
- 2012-07-20-Rational-Numbers
- 2012-07-10-TruthFunction-Dict
- 2012-07-10-Remembering-how-shadowing-subiterators-work
- 2012-07-01-Probability-Dict
- 2012-06-30-Probability-Dict
- 2012-06-27-Rational-Numbers
- 2012-06-24-Recursive-Counting
- 2012-06-22-Ratio-Dict
- 2012-06-22-Recursive-Counting
- 2012-06-15-Ratio-Dict
- 2012-06-14-Counting-numbers
- 2012-06-11-Timespace
- 2012-06-11-Uninstantiated-iterators-predication-and-places
- 2012-06-05-Spatial-Temporal-Relationships-vague-thoughts
- 2012-06-02-Cause-types
- 2012-06-02-Cause-Dict
- 2012-06-02-Ratio-Dict.html
- 2012-05-30-Syntax-with-simple-iterators-and-optional-space
- 2012-05-16-Syntax-with-simple-iterators-and-optional-space
- 2012-05-16-Syntax-with-simple-iterators
- 2012-05-16-Syntax-metalanguage
- 2012-05-16-Syntax-metalanguage-primitives
- 2012-05-09-Syntax-grammar-classes
- 2012-05-09-Relationship-properties
- 2012-05-09-Equivalent-Operators-and-Operations
- 2012-05-08-Example-Programme-declaration-safe-anchors
- 2012-05-08-Example-Instruction-Primitives
- 2012-05-08-Scope
- 2012-05-08-StateDict
- 2012-05-08-Ordering
- 2012-05-08-Zero-Dict
- 2012-05-08-Alternative-iterator-syntax-scribbles
- 2012-04-25-Example-Programme-declaration-safe-anchors
- 2012-04-22-Lambda-operator
- 2012-03-25-Zero-Dict
- 2012-03-24-Syntax-metalanguage-primitives-alternative-quotation
- 2012-03-16-Quotation-scribbles
- 2012-03-12-Example-Programme-declaration-safe-anchors
- 2012-03-07-Zero-Dict-color-roles
- 2012-03-07-Recursive-Counting-color-roles
- 2012-03-07-Recursive-Counting-all-visible-highlights
- 2012-03-07-Counting-numbers-related-highlights-another
- 2012-03-07-Counting-numbers-related-highlights
- 2012-03-07-Recursive-Counting-related-highlights
- 2012-03-07-Recursive-Counting-all-highlights
- 2012-02-23-Syntax-grammar-classes
- 2012-02-23-Syntax-with-simple-iterators
- 2012-02-21-Syntax-class-php
- 2012-02-20-Syntax-class-Java
- 2012-02-17-Syntax-with-simple-iterators
- 2012-02-17-Syntax-metalanguage
- 2012-02-17-Syntax-metalanguage-primitives
- 2012-02-12-Recursive-Counting
- 2012-02-11-New-argument-syntax-scribbles
- 2012-02-09-Informal-syntax-examples
- 2012-02-09-Informal-syntax-definition
- 2012-02-08-Recursive-Counting
- 2012-02-07-Counting-numbers
- 2012-02-07-Example-Programme
- 2012-02-04-Scope
- 2012-02-02-Ordering
- 2011-10-08-Example-Programme
- 2011-10-08-Example-Instruction-Primitives
- 2011-10-08-Scope
- 2011-10-08-StateDict
- 2011-09-22-Proper-name-scribbles-ie-non-belief-Operators-without-operands
- 2011-09-18-Family-Operators-simpler
- 2011-09-18-Family-Operator-proofs
- 2011-09-18-Family-Operators
- 2011-08-25-Ordering-ordered-operands
- 2011-08-25-Ordering-nested-arguments
- 2011-08-25-Ordering-iterating-arguments
- 2011-08-24-Equivalent-Operators-and-Operations
- 2011-08-18-Iteration-scribbles
- 2011-08-16-Language-fundamentals
- 2011-08-11-Relationship-properties
- 2011-07-20-The-World-and-Truth
- 2011-07-20-Dyadic-Necessity-Functions-as-Identities
- 2011-07-20-Necessity
- 2011-07-19-Dyadic-Necessity-Functions-with-Venn
- 2011-07-19-Necessity
- 2011-07-19-Dyadic-Truth-Functions-with-Venn
- 2011-06-18-StrongImplication
- 2011-06-06-Equivalent-Operators-and-Operations
- 2011-04-18-Cause-Dict
- 2011-04-10-Binary-Relationships
- 2011-03-17-Zero-Dict
- 2011-03-11-Ordering
- 2011-02-15-Ordering
- 2011-02-05-Counting
- 2011-02-04-Counting
- 2011-02-01-Counting
- 2011-01-05-Cousin-Dict
- 2011-01-05-Sibling-Dict
- 2011-01-05-Family-Primitives-Dict
- 2011-01-02-Relationship-properties
- 2011-01-02-Equivalence
- 2011-01-02-Zero-Dict
- 2010-12-29-Relationship-properties
- 2010-12-29-Cause-Dict
- 2010-12-29-Ratio-Dict
- 2010-12-29-CHANGED-SYNTAX-Iterators
- 2010-12-20-Relationship-properties
- 2010-12-19-Symmetry-of-infinite-n-adic-relationships
- 2010-12-19-Reflexivity-of-infinite-n-adic-relationships
- 2010-12-17-Cause-Dict
- 2010-12-17-Ratio-Dict
- 2010-12-17-Notation-Conventions
- 2010-12-17-Ratio-Pico-indentation
- 2010-12-17-Ratio-Horstmann-indentation
- 2010-12-17-Ratio-Allman-indentation
- 2010-12-17-Ratio
- 2010-12-17-Cause-Pico-indentation
- 2010-12-17-Cause-Lisp-indentation
- 2010-12-16-Ratio-squashed
- 2010-12-16-Ratio-pragmatic
- 2010-12-16-Ratio-medium
- 2010-12-16-Ratio-extended
- 2010-12-16-Ratio-compact
- 2010-12-16-Ratio
- 2010-12-16-Indentation-experiments
- 2010-12-16-Indentation-experiments
- 2010-12-16-Indentation-experiments
- 2010-12-05-Probable-Cause
- 2010-12-02-Ratio
- 2010-12-01-Definite-Cause
- 2010-12-01-Symmetry-illustrating-full-iteration-syntax
- 2010-12-01-Reflexivity-illustrating-full-iteration-syntax
- 2010-12-01-Reflexivity-of-infinite-n-adic-relationships
- 2010-11-30-Symmetry-of-infinite-n-adic-relationships
- 2010-11-18-Operations-again
- 2010-11-18-Operations-and-Beliefs
- 2010-11-05-Informal-Syntax-Definition
- 2010-11-04-Syntax-Examples
- 2010-11-04-Operator-definition
- 2010-05-02-Power
- 2010-05-01-Divide
- 2010-05-01-Multiply
- 2010-04-30-Cause
- 2010-03-10-Counting-Examples
- 2010-03-10-Counting
- 2010-02-25-Recursive-Counting
- 2010-02-23-Divide
- 2010-02-23-Multiply
- 2010-02-22-Equinumerous
- 2010-02-22-One
- 2010-02-12-Russells-harmless-paradox
- 2010-02-11-Allowable-substitutions
- 2010-02-10-One
- 2010-02-10-Equivalence
- 2010-02-07-Counting-Ungeneralised
- 2010-02-06-Counting-Generalised
- 2010-02-06-Counting-Ungeneralised
- 2010-02-05-One
- 2010-01-31-Zero-Dict
- 2010-01-31-Symmetry-of-infinite-n-adic-relationships
- 2010-01-31-Reflexivity-of-infinite-n-adic-relationships
- 2010-01-31-Including-a-dictionary
- 2010-01-30-Partitioning-Scribble
- 2010-01-23-N-adic-Relationship-Property-Examples
- 2010-01-22-Dyadic-Relationship-Property-Examples
- 2010-01-21-Equivalence-Examples
- 2010-01-21-Operation-Syntax-Full
- 2010-01-21-Operation-Syntax-with-Iterators
- 2010-01-21-Operation-Syntax-with-Comments-and-Space
- 2010-01-21-Operation-Syntax
- 2010-01-21-Properties-of-infinite-n-adic-relationships
- 2010-01-21-Properties-of-finite-dyadic-relationships
- 2010-01-21-Properties-of-infinite-dyadic-relationships
- 2010-01-21-Iteration-Examples
- 2010-01-21-Finite-Equivalence
- 2010-01-21-N-adic-Equivalence
- 2010-01-21-Dyadic-Equivalence
- 2010-01-21-Quantifiers
- 2010-01-21-Dyadic-Truth-Functions
- 2010-01-21-Creating-a-dictionary
- 2010-01-20-Connectives
- 2010-01-20-CHANGED-SYNTAX-all-operands-ordered
- 2010-01-19-Equivalence-Examples
- 2010-01-17-Finite-Equivalence
- 2010-01-16-Operation-Syntax-Full
- 2010-01-15-Introduction
- 2010-01-14-Operation-Syntax-with-Iterators
- 2010-01-14-Operation-Syntax-with-Comments-and-Space
- 2010-01-13-Operation-Syntax
- 2010-01-13-Zero-Dict
- 2010-01-13-Properties-of-infinite-n-adic-relationships
- 2010-01-13-Properties-of-finite-dyadic-relationships
- 2010-01-13-Properties-of-infinite-dyadic-relationships
- 2010-01-13-Iteration-Examples
- 2010-01-13-Iterating-Operands
- 2010-01-13-Specifying-Operands
- 2010-01-13-Finite-Equivalence
- 2010-01-13-N-adic-Equivalence
- 2010-01-13-Dyadic-Equivalence
- 2010-01-13-Quantifiers
- 2010-01-13-Dyadic-Truth-Functions
- 2010-01-13-Including-a-dictionary
- 2010-01-13-Creating-a-dictionary
- 2010-01-13-Connectives
- 2010-01-13-Zero-Dict-English
- 2010-01-13-CHANGED-SYNTAX-operator-outside-brackets
- 2010-01-10-Dual-definition-fallacy
- 2010-01-08-Operation-Syntax-with-abbreviations
- 2010-01-08-Operation-Syntax
- 2010-01-07-Zero-Dict
- 2009-12-04-Properties-of-infinite-n-adic-relationships
- 2009-12-04-Properties-of-finite-dyadic-relationships
- 2009-12-04-Properties-of-infinite-dyadic-relationships
- 2009-12-02-Iteration-Examples
- 2009-10-26-Iterating-Operands
- 2009-10-26-Specifying-Operands
- 2009-10-25-Finite-Equivalence
- 2009-10-25-N-adic-Equivalence
- 2009-10-12-Dyadic-Equivalence
- 2009-10-12-Quantifiers
- 2009-10-12-Dyadic-Truth-Functions
- 2009-10-11-Including-a-dictionary
- 2009-10-11-Creating-a-dictionary
- 2009-10-11-Connectives
- 2009-10-11-Zero-Dict