├── .github └── FUNDING.yml ├── .gitignore ├── Cargo.toml ├── LICENSE ├── README.md ├── ai-sequences.md ├── assets ├── bool.txt ├── nat.txt ├── option.txt ├── string.txt ├── syntax.txt └── the-simpsons.txt ├── dyon_experiments ├── boolalg │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── main.dyon │ │ └── main.rs ├── category │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── category.dyon │ │ ├── loader.dyon │ │ ├── main.dyon │ │ └── main.rs ├── homotopy_core │ └── main.dyon ├── quantum_propagation │ ├── gallery │ │ ├── 001.png │ │ ├── 002.png │ │ ├── 003.png │ │ ├── 004.png │ │ ├── 005.png │ │ ├── 006.png │ │ ├── 007.png │ │ ├── 008.png │ │ ├── 009.png │ │ ├── 010.png │ │ ├── 011.png │ │ ├── 012.png │ │ ├── 013.png │ │ ├── 014.png │ │ └── 015.png │ ├── main.dyon │ └── readme.md ├── scomb │ ├── .gitignore │ ├── Cargo.toml │ └── src │ │ ├── main.dyon │ │ └── main.rs └── sym_extract │ ├── .gitignore │ ├── Cargo.toml │ └── src │ ├── data.dyon │ ├── knowledge.dyon │ ├── loader.dyon │ ├── main.dyon │ ├── main.rs │ └── sym_extract.dyon ├── faq.md ├── flowcharts ├── how-logical-systems-are-made.md ├── how-logical-systems-are-made.svg ├── the-basic-problem-of-ethics.md ├── the-basic-problem-of-ethics.svg ├── the-ladder-of-thinking.md └── the-ladder-of-thinking.svg ├── images ├── and-andor.png └── fractal.png ├── lectures └── introduction-to-path-semantics │ └── transcript-of-introduction-to-path-semantics.pdf ├── papers-wip ├── about-publishing-path-semantics.odt ├── about-publishing-path-semantics.pdf ├── abrupt-change-in-complex-systems-by-small-changes-in-micro-behavior.odt ├── abrupt-change-in-complex-systems-by-small-changes-in-micro-behavior.pdf ├── absoid-functions.odt ├── absoid-functions.pdf ├── absolute-oddness.odt ├── absolute-oddness.pdf ├── absolute-truth-in-the-subjective-multi-verse-of-zen-rational-minds.odt ├── absolute-truth-in-the-subjective-multi-verse-of-zen-rational-minds.pdf ├── abstract-assertions.odt ├── abstract-assertions.pdf ├── abstract-idempotent-functions.odt ├── abstract-idempotent-functions.pdf ├── abstract-implication-theorem.odt ├── abstract-implication-theorem.pdf ├── abstract-sub-types.odt ├── abstract-sub-types.pdf ├── abstract-transport-xor-trick.odt ├── abstract-transport-xor-trick.pdf ├── adjective-sub-types.odt ├── adjective-sub-types.pdf ├── adjoint-commutative-symmetry.odt ├── adjoint-commutative-symmetry.pdf ├── adjoint-paths-in-boolean-algebra.odt ├── adjoint-paths-in-boolean-algebra.pdf ├── adjoint-paths.odt ├── adjoint-paths.pdf ├── adjoint-trivial-paths.odt ├── adjoint-trivial-paths.pdf ├── adversarial-discrete-topology.odt ├── adversarial-discrete-topology.pdf ├── adversarial-path-of-cartesian-product.odt ├── adversarial-path-of-cartesian-product.pdf ├── adversarial-path-of-fuel-distance.odt ├── adversarial-path-of-fuel-distance.pdf ├── adversarial-path-of-list.odt ├── adversarial-path-of-list.pdf ├── adversarial-paths.odt ├── adversarial-paths.pdf ├── agent-discrete-decision-space.odt ├── agent-discrete-decision-space.pdf ├── algebra-of-proofs.odt ├── algebraic-notation-for-asymmetric-paths.odt ├── algebraic-notation-for-asymmetric-paths.pdf ├── algebraic-properties-of-addition.odt ├── algebraic-properties-of-addition.pdf ├── algebraic-sized-type-constructors.odt ├── algebraic-sized-type-constructors.pdf ├── all-single-qubits-are-constructible.odt ├── all-single-qubits-are-constructible.pdf ├── alpha-theorem-proving.odt ├── alpha-theorem-proving.pdf ├── alphabetic-list-of-existential-paths.odt ├── alphabetic-list-of-existential-paths.pdf ├── alphabetic-list-of-functions.odt ├── alphabetic-list-of-functions.pdf ├── alphabetic-list-of-paths.odt ├── alphabetic-list-of-paths.pdf ├── ambiguous-probability-of-random-string-optimization.odt ├── ambiguous-probability-of-random-string-optimization.pdf ├── and-not-or-set-matrix.odt ├── and-not-or-set-matrix.pdf ├── and-with-cubical-binary-codes.odt ├── and-with-cubical-binary-codes.pdf ├── answered-modal-logic-catuskoti.odt ├── answered-modal-logic-catuskoti.pdf ├── answered-modal-logic-in-cubical-binary-codes.odt ├── answered-modal-logic-in-cubical-binary-codes.pdf ├── answered-modal-logic.odt ├── answered-modal-logic.pdf ├── anthropic-quantum-theorems.odt ├── anthropic-quantum-theorems.pdf ├── argument-irrelevant-functions.odt ├── argument-irrelevant-functions.pdf ├── argument-relevant-functions.odt ├── argument-relevant-functions.pdf ├── asserting-formal-associations.odt ├── asserting-formal-associations.pdf ├── assigning-boolean-functions-to-long-term-group-strategies.odt ├── assigning-boolean-functions-to-long-term-group-strategies.pdf ├── assigning-probabilities-to-boolean-functions.odt ├── assigning-probabilities-to-boolean-functions.pdf ├── assigning-probabilities-to-logical-quantifiers.odt ├── assigning-probabilities-to-logical-quantifiers.pdf ├── associativity-as-asymmetric-paths.odt ├── associativity-as-asymmetric-paths.pdf ├── associativity-avatar-graph.odt ├── associativity-avatar-graph.pdf ├── asymmetric-inverse.odt ├── asymmetric-inverse.pdf ├── asymmetric-velocity-logic.odt ├── asymmetric-velocity-logic.pdf ├── atomic-functions.odt ├── atomic-functions.pdf ├── atomic-universal-existential-paths.odt ├── atomic-universal-existential-paths.pdf ├── avatar-algebra-superposition.odt ├── avatar-algebra-superposition.pdf ├── avatar-algebra-symmetry.odt ├── avatar-algebra-symmetry.pdf ├── avatar-binary-relations.odt ├── avatar-binary-relations.pdf ├── avatar-covers.odt ├── avatar-covers.pdf ├── avatar-graphs.odt ├── avatar-graphs.pdf ├── avatar-schema-theory.odt ├── avatar-schema-theory.pdf ├── avatar-time-lines.odt ├── avatar-time-lines.pdf ├── basic-path-semantics.odt ├── billiard-balls-in-asymmetric-velocity-logic.odt ├── billiard-balls-in-asymmetric-velocity-logic.pdf ├── binary-square-matrix-combinatorics.odt ├── binary-square-matrix-combinatorics.pdf ├── boolean-algebra-cheat-sheet.ods ├── boolean-algebra-cheat-sheet.pdf ├── boolean-algebra-using-if-else.odt ├── boolean-algebra-using-if-else.pdf ├── boolean-point-features.odt ├── boolean-point-features.pdf ├── bootstrapping-technique-for-semantics-of-natural-languages.odt ├── bootstrapping-technique-for-semantics-of-natural-languages.pdf ├── bounded-integral.odt ├── bounded-integral.pdf ├── branch-permutation-grammar.odt ├── branch-permutation-grammar.pdf ├── canonical-form-of-answered-modal-logic.odt ├── canonical-form-of-answered-modal-logic.pdf ├── cartesian-outer-product-of-adversarial-path-of-list.odt ├── cartesian-outer-product-of-adversarial-path-of-list.pdf ├── cartesian-products-vs-arrows.odt ├── cartesian-products-vs-arrows.pdf ├── cartesian-stair-pair-combinatorics.odt ├── cartesian-stair-pair-combinatorics.pdf ├── category-realizable-groupoids.odt ├── category-realizable-groupoids.pdf ├── category-theory-of-logic.odt ├── category-theory-of-logic.pdf ├── catuskoti-communication.odt ├── catuskoti-communication.pdf ├── chirality-in-answered-modal-logic.odt ├── chirality-in-answered-modal-logic.pdf ├── circling-mind-space-by-optimal-collective-intelligence.odt ├── circling-mind-space-by-optimal-collective-intelligence.pdf ├── closed-natural-numbers-and-the-fundamental-identity.odt ├── closed-natural-numbers-and-the-fundamental-identity.pdf ├── closed-natural-numbers.odt ├── closed-natural-numbers.pdf ├── closed-sub-types-of-sets.odt ├── closed-sub-types-of-sets.pdf ├── cocategory-enumeration.odt ├── cocategory-enumeration.pdf ├── cocyclic-cubes.odt ├── cocyclic-cubes.pdf ├── cocyclic-graphs.odt ├── cocyclic-graphs.pdf ├── cocyclic-hexagons.odt ├── cocyclic-hexagons.pdf ├── cocyclic-n-gon-necklaces.odt ├── cocyclic-n-gon-necklaces.pdf ├── cocyclic-pentagons.odt ├── cocyclic-pentagons.pdf ├── cocyclic-squares.odt ├── cocyclic-squares.pdf ├── collapse-theorems.odt ├── collapse-theorems.pdf ├── comments-on-leibnizs-law.odt ├── comments-on-leibnizs-law.pdf ├── common-sense-of-gratefulness.odt ├── common-sense-of-gratefulness.pdf ├── commutative-symmetric-paths.odt ├── commutative-symmetric-paths.pdf ├── complexity-of-path-semantical-logic.odt ├── complexity-of-path-semantical-logic.pdf ├── complexity-of-symmetric-avatar-paths.odt ├── complexity-of-symmetric-avatar-paths.pdf ├── composite-and-prime-numbers-in-path-semantics.odt ├── composite-and-prime-numbers-in-path-semantics.pdf ├── computational-equivalence.odt ├── computational-equivalence.pdf ├── concept-grammar-language.odt ├── concept-grammar-language.pdf ├── concrete-and-abstract-transport.odt ├── concrete-and-abstract-transport.pdf ├── confidence-factors-of-probabilistic-constraints.odt ├── confidence-factors-of-probabilistic-constraints.pdf ├── consistent-self-extension-with-uncertain-modalities.odt ├── consistent-self-extension-with-uncertain-modalities.pdf ├── constant-speed-transform.odt ├── constant-speed-transform.pdf ├── constrained-existential-path-implies-normal-path.odt ├── constrained-existential-path-implies-normal-path.pdf ├── constrained-functions.odt ├── constrained-functions.pdf ├── constrained-implication-theorem.odt ├── constrained-implication-theorem.pdf ├── constrained-normal-path-proofs.odt ├── constrained-normal-path-proofs.pdf ├── constrained-uniform-properties-of-sets.odt ├── constrained-uniform-properties-of-sets.pdf ├── constraint-power-set-notation.odt ├── constraint-power-set-notation.pdf ├── constructive-symmetry-breaking.odt ├── constructive-symmetry-breaking.pdf ├── constructive-utility-functions.odt ├── constructive-utility-functions.pdf ├── context-theorem-proving.odt ├── context-theorem-proving.pdf ├── context-transformation-and-learning.odt ├── context-transformation-and-learning.pdf ├── continuous-lattice-functions.odt ├── continuous-lattice-functions.pdf ├── continuous-monotonicity.odt ├── continuous-monotonicity.pdf ├── contractible-types.odt ├── contractible-types.pdf ├── contracting-havox-diagrams.odt ├── contracting-havox-diagrams.pdf ├── contraction-theorem.odt ├── contraction-theorem.pdf ├── countable-infinity-from-existential-paths.odt ├── countable-infinity-from-existential-paths.pdf ├── counter-factual-equality-of-primes.odt ├── counter-factual-equality-of-primes.pdf ├── cross-argument-asymmetric-path-notation.odt ├── cross-argument-asymmetric-path-notation.pdf ├── cubical-binary-codes.odt ├── cubical-binary-codes.pdf ├── cubical-types.odt ├── cubical-types.pdf ├── current-object-constraint-notation.odt ├── current-object-constraint-notation.pdf ├── data-structure-for-motivated-actions.odt ├── data-structure-for-motivated-actions.pdf ├── decidability-by-frequency-propositions.odt ├── decidability-by-frequency-propositions.pdf ├── decidability-in-dependently-constrained-universal-existential-paths.odt ├── decidability-in-dependently-constrained-universal-existential-paths.pdf ├── dependent-asymmetric-paths.odt ├── dependent-asymmetric-paths.pdf ├── dependent-lsystem.odt ├── dependent-lsystem.pdf ├── derivative.odt ├── derivative.pdf ├── destructing-path-function-products.odt ├── destructing-path-function-products.pdf ├── detecting-existence-of-asymmetric-boolean-paths.odt ├── detecting-existence-of-asymmetric-boolean-paths.pdf ├── detecting-relevant-arguments-in-boolean-functions.odt ├── detecting-relevant-arguments-in-boolean-functions.pdf ├── differential-existential-paths.odt ├── differential-existential-paths.pdf ├── directional-set-algebra.odt ├── directional-set-algebra.pdf ├── directional-set-products.odt ├── directional-set-products.pdf ├── discrete-lattice-functions.odt ├── discrete-lattice-functions.pdf ├── discrete-monotonic-limits.odt ├── discrete-monotonic-limits.pdf ├── discrete-real-addition-isomorphisms.odt ├── discrete-real-addition-isomorphisms.pdf ├── domain-constraint-notation.odt ├── domain-constraint-notation.pdf ├── dual-adjoint-operators.odt ├── dual-adjoint-operators.pdf ├── dual-number-monotonic-density.odt ├── dual-number-monotonic-density.pdf ├── duality-in-path-semantical-logic.odt ├── duality-in-path-semantical-logic.pdf ├── efficient-sets.odt ├── efficient-sets.pdf ├── efficient-type-checking.odt ├── efficient-type-checking.pdf ├── elliptic-paraboloid-machine-learning.odt ├── elliptic-paraboloid-machine-learning.pdf ├── embedded-rules-of-action-into-action-space.odt ├── embedded-rules-of-action-into-action-space.pdf ├── emph-notation.odt ├── emph-notation.pdf ├── encoding-equivalences-as-swaps.odt ├── encoding-equivalences-as-swaps.pdf ├── encoding-knowledge-about-existential-paths-as-functions.odt ├── encoding-knowledge-about-existential-paths-as-functions.pdf ├── entangled-functions-in-boolean-algebra.odt ├── entangled-functions-in-boolean-algebra.pdf ├── entangled-functions.odt ├── entangled-functions.pdf ├── entangled-xor-theorem.odt ├── entangled-xor-theorem.pdf ├── equation-inference.odt ├── equation-inference.pdf ├── equations-as-algebraic-objects.odt ├── equations-as-algebraic-objects.pdf ├── equivalence-paths.odt ├── equivalence-paths.pdf ├── equivalences-between-equivalences-as-swaps-of-swaps.odt ├── equivalences-between-equivalences-as-swaps-of-swaps.pdf ├── equivalent-utility-transport.odt ├── equivalent-utility-transport.pdf ├── error-predictive-learning.odt ├── error-predictive-learning.pdf ├── ethical-reasoning-about-altruistic-competitions.odt ├── ethical-reasoning-about-altruistic-competitions.pdf ├── ethical-reasoning-tends-to-associate-nearby-judgements-with-usual-implied-meaning.odt ├── ethical-reasoning-tends-to-associate-nearby-judgements-with-usual-implied-meaning.pdf ├── ethics-as-rational-reasoning-with-granular-judgements-about-the-world.odt ├── ethics-as-rational-reasoning-with-granular-judgements-about-the-world.pdf ├── evaluation-of-membership-in-mx-dependent-types.odt ├── evaluation-of-membership-in-mx-dependent-types.pdf ├── evaluation-of-variable-in-mx-dependent-types.odt ├── evaluation-of-variable-in-mx-dependent-types.pdf ├── examples-of-sized-type-equivalence.odt ├── examples-of-sized-type-equivalence.pdf ├── exclusive-theorem.odt ├── exclusive-theorem.pdf ├── existence-of-normal-paths.odt ├── existence-of-normal-paths.pdf ├── existential-path-in-boolean-path-semantics.odt ├── existential-path-in-boolean-path-semantics.pdf ├── existential-path-of-add-with-domain-constraint-even.odt ├── existential-path-of-add-with-domain-constraint-even.pdf ├── existential-path-of-function-composition.odt ├── existential-path-of-function-composition.pdf ├── existential-path-of-if-expression.odt ├── existential-path-of-if-expression.pdf ├── existential-path-of-left-recursive-addition.odt ├── existential-path-of-left-recursive-addition.pdf ├── existential-paths-as-sets.odt ├── existential-paths-as-sets.pdf ├── existential-paths-of-function-sets.odt ├── existential-paths-of-function-sets.pdf ├── existential-paths-of-real-addition-on-intervals.odt ├── existential-paths-of-real-addition-on-intervals.pdf ├── existential-paths.odt ├── existential-paths.pdf ├── exponential-duplication.odt ├── exponential-duplication.pdf ├── exterior-non-uniform-subjectivity.odt ├── exterior-non-uniform-subjectivity.pdf ├── extracting-bits-in-answered-modal-logic.odt ├── extracting-bits-in-answered-modal-logic.pdf ├── faster-brute-force-proofs.odt ├── faster-brute-force-proofs.pdf ├── finding-normal-paths-using-zero-order-existential-paths.odt ├── finding-normal-paths-using-zero-order-existential-paths.pdf ├── first-order-perfect-testable-friendly-ai.odt ├── first-order-perfect-testable-friendly-ai.pdf ├── formal-definition-of-normal-paths.odt ├── formal-definition-of-normal-paths.pdf ├── formalization-of-tic-tac-toe-in-path-semantics.odt ├── formalization-of-tic-tac-toe-in-path-semantics.pdf ├── formalizing-climate-change-mitigation.odt ├── formalizing-climate-change-mitigation.pdf ├── formalizing-the-meaning-of-solving-an-equation-for-one-variable.odt ├── formalizing-the-meaning-of-solving-an-equation-for-one-variable.pdf ├── formalizing-utility-semantics-with-infinite-group-generators.odt ├── formalizing-utility-semantics-with-infinite-group-generators.pdf ├── formally-representing-uncertain-knowledge-about-objects.odt ├── formally-representing-uncertain-knowledge-about-objects.pdf ├── friend-vs-enemy-asymmetry.odt ├── friend-vs-enemy-asymmetry.pdf ├── full-binary-trees.odt ├── full-binary-trees.pdf ├── functiom-compressor.odt ├── functiom-compressor.pdf ├── function-currying-notation.odt ├── function-currying-notation.pdf ├── function-identity.odt ├── function-identity.pdf ├── functional-decision-theory-in-path-semantics.odt ├── functional-decision-theory-in-path-semantics.pdf ├── general-existential-path-of-language.odt ├── general-existential-path-of-language.pdf ├── generalized-swap-grammar.odt ├── generalized-swap-grammar.pdf ├── geometric-paths.odt ├── geometric-paths.pdf ├── glubical-permutations.odt ├── glubical-permutations.pdf ├── goals-of-path-semantics.odt ├── goals-of-path-semantics.pdf ├── golden-measure.odt ├── golden-measure.pdf ├── graph-interpretation-of-avatar-logic.odt ├── graph-interpretation-of-avatar-logic.pdf ├── gray-zone-modal-utility-transport.odt ├── gray-zone-modal-utility-transport.pdf ├── groupoid-assumption-of-multi-goal-optimization.odt ├── groupoid-assumption-of-multi-goal-optimization.pdf ├── hamming-n-sphere.odt ├── hamming-n-sphere.pdf ├── havox-diagrams.odt ├── havox-diagrams.pdf ├── higher-kinded-embodiments.odt ├── higher-kinded-embodiments.pdf ├── higher-order-de-morgans-laws-for-unary-binary-functions.odt ├── higher-order-de-morgans-laws-for-unary-binary-functions.pdf ├── higher-order-non-determinism.odt ├── higher-order-non-determinism.pdf ├── higher-order-non-deterministic-diagrams.odt ├── higher-order-non-deterministic-diagrams.pdf ├── higher-order-operator-overloading-and-existential-path-equations.odt ├── higher-order-operator-overloading-and-existential-path-equations.pdf ├── higher-order-operator-overloading-and-extensional-equality.odt ├── higher-order-operator-overloading-and-extensional-equality.pdf ├── higher-order-operator-overloading-and-natural-lambda-properties.odt ├── higher-order-operator-overloading-and-natural-lambda-properties.pdf ├── higher-order-operator-overloading-and-notation-for-parameters.odt ├── higher-order-operator-overloading-and-notation-for-parameters.pdf ├── higher-order-operator-overloading-and-partial-evaluation.odt ├── higher-order-operator-overloading-and-partial-evaluation.pdf ├── higher-order-operator-overloading-and-self-reference.odt ├── higher-order-operator-overloading-and-self-reference.pdf ├── higher-order-operator-overloading-for-mathematical-loops.odt ├── higher-order-operator-overloading-for-mathematical-loops.pdf ├── higher-order-operator-overloading-lifting.odt ├── higher-order-operator-overloading-lifting.pdf ├── higher-order-operator-overloading-with-function-currying.odt ├── higher-order-operator-overloading-with-function-currying.pdf ├── higher-order-operator-overloading.odt ├── higher-order-operator-overloading.pdf ├── history-of-path-semantics-illustrated.odt ├── history-of-path-semantics-illustrated.pdf ├── homotopy-level-zero-of-sub-types.odt ├── homotopy-level-zero-of-sub-types.pdf ├── homotopy-physics.odt ├── homotopy-physics.pdf ├── homotopy-sub-types.odt ├── homotopy-sub-types.pdf ├── how-to-think-abstractly-with-path-semantics.odt ├── how-to-think-abstractly-with-path-semantics.pdf ├── hyperreal-progression-circle.odt ├── hyperreal-progression-circle.pdf ├── identity-of-words-in-natural-languages.odt ├── identity-of-words-in-natural-languages.pdf ├── identity-proofs-of-higher-homotopy-explained-for-programmers.odt ├── identity-proofs-of-higher-homotopy-explained-for-programmers.pdf ├── imaginary-adjoint-operators.odt ├── imaginary-adjoint-operators.pdf ├── imaginary-inverse.odt ├── imaginary-inverse.pdf ├── implication-house.odt ├── implication-house.pdf ├── implication-theorem.odt ├── implication-theorem.pdf ├── implicit-theorems.odt ├── implicit-theorems.pdf ├── incomplete-proof-search.odt ├── incomplete-proof-search.pdf ├── incompleteness-of-path-semantics.odt ├── incompleteness-of-path-semantics.pdf ├── index-theorem.odt ├── index-theorem.pdf ├── infibin.odt ├── infibin.pdf ├── infinite-complete-binary-trees.odt ├── infinite-complete-binary-trees.pdf ├── infinitesimal-utility.odt ├── infinitesimal-utility.pdf ├── informal-theorem-proving.odt ├── informal-theorem-proving.pdf ├── information-optimal-functions.odt ├── information-optimal-functions.pdf ├── inner-and-outer-transport-theorems.odt ├── inner-and-outer-transport-theorems.pdf ├── instant-quantum-partial-observations.odt ├── instant-quantum-partial-observations.pdf ├── integral-of-dual-functions.odt ├── integral-of-dual-functions.pdf ├── integral-of-polynomial-product.odt ├── integral-of-polynomial-product.pdf ├── intentional-paths.odt ├── intentional-paths.pdf ├── interior-vs-exterior.odt ├── interior-vs-exterior.pdf ├── intervals-on-projective-reals.odt ├── intervals-on-projective-reals.pdf ├── introduction-to-avatar-graphs.odt ├── introduction-to-avatar-graphs.pdf ├── introduction-to-path-semantics-for-computer-scientists.odt ├── introduction-to-path-semantics-for-computer-scientists.pdf ├── inverse-theorems.odt ├── inverse-theorems.pdf ├── inverse-zero-order-existential-paths.odt ├── inverse-zero-order-existential-paths.pdf ├── invertible-adjoint-normal-paths.odt ├── invertible-adjoint-normal-paths.pdf ├── invertible-domain-constraints.odt ├── invertible-domain-constraints.pdf ├── involution-from-commutative-symmetry.odt ├── involution-from-commutative-symmetry.pdf ├── isomorphic-and-homotopy-paths.odt ├── isomorphic-and-homotopy-paths.pdf ├── lambda-notation.odt ├── lambda-notation.pdf ├── law-of-excluded-middle-in-havox-diagrams.odt ├── law-of-excluded-middle-in-havox-diagrams.pdf ├── law-of-sub-solution-type-problem-simplification.odt ├── law-of-sub-solution-type-problem-simplification.pdf ├── law-of-sub-type-extension.odt ├── law-of-sub-type-extension.pdf ├── law-of-sub-type-reduction-by-transitivity-variable-elimination.odt ├── law-of-sub-type-reduction-by-transitivity-variable-elimination.pdf ├── lead-by-example-utility-cooperation.odt ├── lead-by-example-utility-cooperation.pdf ├── least-surprised-algorithm.odt ├── least-surprised-algorithm.pdf ├── liars-paradox-and-complete-functions.odt ├── liars-paradox-and-complete-functions.pdf ├── lifted-associations.odt ├── lifted-associations.pdf ├── linear-natural-number-sequences.odt ├── linear-natural-number-sequences.pdf ├── listing-mobius-shifts.odt ├── listing-mobius-shifts.pdf ├── local-optimal-safety-theory.odt ├── local-optimal-safety-theory.pdf ├── logical-interpretations-of-boolean-path-semantics.odt ├── logical-interpretations-of-boolean-path-semantics.pdf ├── logical-properties-of-propositional-logic-systems.odt ├── logical-properties-of-propositional-logic-systems.pdf ├── machine-learning-of-existential-paths.odt ├── machine-learning-of-existential-paths.pdf ├── many-value-logics-and-involutions.odt ├── many-value-logics-and-involutions.pdf ├── material-implications-from-existential-paths.odt ├── material-implications-from-existential-paths.pdf ├── matrix-tangent-space.odt ├── matrix-tangent-space.pdf ├── maximum-mathematical-languages.odt ├── maximum-mathematical-languages.pdf ├── merging-of-path-generators.odt ├── merging-of-path-generators.pdf ├── mini-toolkit-in-dyon-for-boolean-path-semantics.odt ├── mini-toolkit-in-dyon-for-boolean-path-semantics.pdf ├── missing-assumption-search.odt ├── missing-assumption-search.pdf ├── modal-logic-of-equivalences.odt ├── modal-logic-of-equivalences.pdf ├── modal-logic-of-observations.odt ├── modal-logic-of-observations.pdf ├── modeling-functions.odt ├── modeling-functions.pdf ├── modeling-uncertain-modalities.odt ├── modeling-uncertain-modalities.pdf ├── modification-theory.odt ├── modification-theory.pdf ├── monotonic-integral-transform.odt ├── monotonic-integral-transform.pdf ├── monotonic-non-linear-solutions.odt ├── monotonic-non-linear-solutions.pdf ├── monotonic-properties-of-lists.odt ├── monotonic-properties-of-lists.pdf ├── moral-agency.odt ├── moral-agency.pdf ├── more-about-witness-duality.odt ├── more-about-witness-duality.pdf ├── mx-grammar-for-dependent-types.odt ├── mx-grammar-for-dependent-types.pdf ├── naive-isomorphism-propagation.odt ├── naive-isomorphism-propagation.pdf ├── naive-zen-logic.odt ├── naive-zen-logic.pdf ├── natural-continuous-paths.odt ├── natural-continuous-paths.pdf ├── natural-equality.odt ├── natural-equality.pdf ├── natural-frequency.odt ├── natural-frequency.pdf ├── natural-goal-uncertainty.odt ├── natural-goal-uncertainty.pdf ├── natural-implication.odt ├── natural-implication.pdf ├── natural-likely.odt ├── natural-likely.pdf ├── natural-number-fuzzing.odt ├── natural-number-fuzzing.pdf ├── natural-numbers-by-coinductive-construction.odt ├── natural-numbers-by-coinductive-construction.pdf ├── natural-numbers-constructed-by-contracted-havox-diagrams.odt ├── natural-numbers-constructed-by-contracted-havox-diagrams.pdf ├── natural-one-avatar.odt ├── natural-one-avatar.pdf ├── natural-sum-sub-type-factorization.odt ├── natural-sum-sub-type-factorization.pdf ├── negative-association-error.odt ├── negative-association-error.pdf ├── negative-types.odt ├── negative-types.pdf ├── negative-utilitarian-optimal-safety.odt ├── negative-utilitarian-optimal-safety.pdf ├── non-composition-of-xor-trick.odt ├── non-composition-of-xor-trick.pdf ├── non-constructibility-of-quantum-non-determinism.odt ├── non-constructibility-of-quantum-non-determinism.pdf ├── non-deterministic-existential-paths.odt ├── non-deterministic-existential-paths.pdf ├── non-trivial-commutative-symmetry.odt ├── non-trivial-commutative-symmetry.pdf ├── noncontractible-types.odt ├── noncontractible-types.pdf ├── normal-path-diagram-of-and.odt ├── normal-path-diagram-of-and.pdf ├── normal-path-diagrams.odt ├── normal-path-diagrams.pdf ├── normal-paths-as-function-sub-types.odt ├── normal-paths-as-function-sub-types.pdf ├── normal-paths.odt ├── normal-paths.pdf ├── normal-re-paths.odt ├── normal-re-paths.pdf ├── obscure-functions.odt ├── obscure-functions.pdf ├── one-dimensional-real-wave.odt ├── one-dimensional-real-wave.pdf ├── operator-triggered-intermediate-decision-theories.odt ├── operator-triggered-intermediate-decision-theories.pdf ├── optimal-collective-intelligence.odt ├── optimal-collective-intelligence.pdf ├── optimal-utility-paths.odt ├── optimal-utility-paths.pdf ├── order-free-non-determinism.odt ├── order-free-non-determinism.pdf ├── order-free-quantum-non-determinism.odt ├── order-free-quantum-non-determinism.pdf ├── ordered-swaps.odt ├── ordered-swaps.pdf ├── p-vs-np-relative-to-universal-existential-path.odt ├── p-vs-np-relative-to-universal-existential-path.pdf ├── parameter-elimination-in-higher-order-existential-paths.odt ├── parameter-elimination-in-higher-order-existential-paths.pdf ├── parity-of-general-complex-numbers.odt ├── parity-of-general-complex-numbers.pdf ├── partial-diversity.odt ├── partial-diversity.pdf ├── partial-observations.odt ├── partial-observations.pdf ├── partial-reversible-game-theory.odt ├── partial-reversible-game-theory.pdf ├── path-function-existence.odt ├── path-function-existence.pdf ├── path-function-product-notation.odt ├── path-function-product-notation.pdf ├── path-operators.odt ├── path-operators.pdf ├── path-semantics-cheat-sheet.odt ├── path-semantics-cheat-sheet.pdf ├── path-semantics-for-dynamical-types.odt ├── path-semantics-for-dynamical-types.pdf ├── path-semantics-in-concept-grammar-language.odt ├── path-semantics-in-concept-grammar-language.pdf ├── path-semantics.odt ├── path-semantics.pdf ├── path-sets.odt ├── path-sets.pdf ├── path-types-in-tree-proofs.odt ├── path-types-in-tree-proofs.pdf ├── paths-as-making-predictions.odt ├── paths-as-making-predictions.pdf ├── perfect-physical-predictors.odt ├── perfect-physical-predictors.pdf ├── perfect-prime-predictors.odt ├── perfect-prime-predictors.pdf ├── permutation-group-of-functions.odt ├── permutation-group-of-functions.pdf ├── permutation-intersections.odt ├── permutation-intersections.pdf ├── permutation-inverse.odt ├── permutation-inverse.pdf ├── permutations-as-cubical-paths.odt ├── permutations-as-cubical-paths.pdf ├── permutations-as-functions.odt ├── permutations-as-functions.pdf ├── permutative-abacaba-vector.odt ├── permutative-abacaba-vector.pdf ├── permutative-binary-numbers.odt ├── permutative-binary-numbers.pdf ├── permutative-functions.odt ├── permutative-functions.pdf ├── permutative-symmetry-paths.odt ├── permutative-symmetry-paths.pdf ├── philosophy-of-the-core-axiom.odt ├── philosophy-of-the-core-axiom.pdf ├── playing-with-fire-a-zen-rational-ethical-dilemma.odt ├── playing-with-fire-a-zen-rational-ethical-dilemma.pdf ├── polite-zen-robots-as-subjunctive-dependent-viruses-spreading-through-super-intelligent-hosts.odt ├── polite-zen-robots-as-subjunctive-dependent-viruses-spreading-through-super-intelligent-hosts.pdf ├── practice-problem-1-for-probabilistic-paths.odt ├── practice-problem-1-for-probabilistic-paths.pdf ├── predicate-interpretation-of-adjoint-paths.odt ├── predicate-interpretation-of-adjoint-paths.pdf ├── predicting-newtonian-interactions-with-normalized-virtual-particles.odt ├── predicting-newtonian-interactions-with-normalized-virtual-particles.pdf ├── predicting-primality-of-addition.odt ├── predicting-primality-of-addition.pdf ├── probabilistic-existential-paths.odt ├── probabilistic-existential-paths.pdf ├── probabilistic-liars-paradox.odt ├── probabilistic-liars-paradox.pdf ├── probabilistic-path-of-if-expressions.odt ├── probabilistic-path-of-if-expressions.pdf ├── probabilistic-paths-as-sub-types.odt ├── probabilistic-paths-as-sub-types.pdf ├── probabilistic-paths.odt ├── probabilistic-paths.pdf ├── probabilistic-preferences.odt ├── probabilistic-preferences.pdf ├── probabilistic-semantics-of-ethical-reasoning.odt ├── probabilistic-semantics-of-ethical-reasoning.pdf ├── probabilistic-sub-types.odt ├── probabilistic-sub-types.pdf ├── proof-of-equivalence.odt ├── proof-of-equivalence.pdf ├── proof-of-exclusiveness.odt ├── proof-of-exclusiveness.pdf ├── proof-of-minimal-interference-by-super-intelligent-zen-rational-agents.odt ├── proof-of-minimal-interference-by-super-intelligent-zen-rational-agents.pdf ├── proof-optimization-by-uniqueness.odt ├── proof-optimization-by-uniqueness.pdf ├── proof-systems-as-grammars.odt ├── proof-systems-as-grammars.pdf ├── properties-of-consciousness-qualia-and-self-reflection-by-intentional-paths.odt ├── properties-of-consciousness-qualia-and-self-reflection-by-intentional-paths.pdf ├── properties-of-non-constructive-objects.odt ├── properties-of-non-constructive-objects.pdf ├── propositional-argument-order.odt ├── propositional-argument-order.pdf ├── propositional-logic-as-symbolic-free-form-grammar.odt ├── propositional-logic-as-symbolic-free-form-grammar.pdf ├── propositional-logic-interpretation-of-answered-modal-logic.odt ├── propositional-logic-interpretation-of-answered-modal-logic.pdf ├── proving-equality-in-two-different-ways.odt ├── proving-equality-in-two-different-ways.pdf ├── proving-isomorphism-using-indexing.odt ├── proving-isomorphism-using-indexing.pdf ├── proving-non-existence-of-asymmetric-paths.odt ├── proving-non-existence-of-asymmetric-paths.pdf ├── proving-non-existence-of-symmetric-paths.odt ├── proving-non-existence-of-symmetric-paths.pdf ├── quality-of-search-data-for-paths.odt ├── quality-of-search-data-for-paths.pdf ├── quantum-andor-functions.odt ├── quantum-andor-functions.pdf ├── quantum-information-flux-of-rotating-complex-amplitudes.odt ├── quantum-information-flux-of-rotating-complex-amplitudes.pdf ├── quantum-information-flux.odt ├── quantum-information-flux.pdf ├── quantum-knight-functions.odt ├── quantum-knight-functions.pdf ├── quantum-lift.odt ├── quantum-lift.pdf ├── quantum-non-determinism.odt ├── quantum-non-determinism.pdf ├── quantum-propagation.odt ├── quantum-propagation.pdf ├── quantum-schrodinger-functions.odt ├── quantum-schrodinger-functions.pdf ├── questioning-the-notion-of-a-set.odt ├── questioning-the-notion-of-a-set.pdf ├── randomary-nth-contractibility.odt ├── randomary-nth-contractibility.pdf ├── randomary-numbers.odt ├── randomary-numbers.pdf ├── rational-curiosity.odt ├── rational-curiosity.pdf ├── rational-natural-morality.odt ├── rational-natural-morality.pdf ├── real-fractal-meta-probability-theory.odt ├── real-fractal-meta-probability-theory.pdf ├── recursive-booleans.odt ├── recursive-booleans.pdf ├── reduction-of-proofs-with-multiple-constraints.odt ├── reduction-of-proofs-with-multiple-constraints.pdf ├── representation-of-trivial-path-in-ast.odt ├── representation-of-trivial-path-in-ast.pdf ├── rewriting-and-the-core-axiom.odt ├── rewriting-and-the-core-axiom.pdf ├── role-lists.odt ├── role-lists.pdf ├── rooted-full-binary-trees.odt ├── rooted-full-binary-trees.pdf ├── safety-interruption-oracle-for-artificial-intelligence.odt ├── safety-interruption-oracle-for-artificial-intelligence.pdf ├── segmented-time.odt ├── segmented-time.pdf ├── self-rationality.odt ├── self-rationality.pdf ├── semantic-complexity-of-binary-relations.odt ├── semantic-complexity-of-binary-relations.pdf ├── semantic-differences-between-utility-functions-and-granular-judgements.odt ├── semantic-differences-between-utility-functions-and-granular-judgements.pdf ├── semantics-of-points.odt ├── semantics-of-points.pdf ├── semi-quantum-non-determinism.odt ├── semi-quantum-non-determinism.pdf ├── semi-tally-numerical-system.odt ├── semi-tally-numerical-system.pdf ├── semiconjuctions-as-satisfied-models-of-total-normal-paths.odt ├── semiconjuctions-as-satisfied-models-of-total-normal-paths.pdf ├── semiconjugates-as-satisfied-models-of-total-normal-paths.odt ├── semiconjugates-as-satisfied-models-of-total-normal-paths.pdf ├── serebin-path-tree.odt ├── serebin-path-tree.pdf ├── set-theory-vs-boolean-functions.odt ├── set-theory-vs-boolean-functions.pdf ├── signed-dual-paths.odt ├── signed-dual-paths.pdf ├── simple-model-of-asymmetric-velocity.odt ├── simple-model-of-asymmetric-velocity.pdf ├── simple-structure-logic.odt ├── simple-structure-logic.pdf ├── simulated-existence-in-naive-zen-logic.odt ├── simulated-existence-in-naive-zen-logic.pdf ├── single-bit-languages.odt ├── single-bit-languages.pdf ├── single-variable-first-order-proof-transform-into-propositional-logic.odt ├── single-variable-first-order-proof-transform-into-propositional-logic.pdf ├── sized-type-theory.odt ├── sized-type-theory.pdf ├── skolem-and-herbrand-normal-form.odt ├── skolem-and-herbrand-normal-form.pdf ├── slot-lambda-calculus.odt ├── slot-lambda-calculus.pdf ├── solvable-equations-are-functions.odt ├── solvable-equations-are-functions.pdf ├── solving-the-trolley-problem-in-advance.odt ├── solving-the-trolley-problem-in-advance.pdf ├── some-important-properties-of-natural-language.odt ├── some-important-properties-of-natural-language.pdf ├── space-jumping-example.odt ├── space-jumping-example.pdf ├── spatial-sum-functions.odt ├── spatial-sum-functions.pdf ├── split-adjoint-operators.odt ├── split-adjoint-operators.pdf ├── stair-pairs.odt ├── stair-pairs.pdf ├── strategies-for-analysing-data-about-symmetric-paths.odt ├── strategies-for-analysing-data-about-symmetric-paths.pdf ├── string-rewriting-rules-for-cartesian-combinatorics.odt ├── string-rewriting-rules-for-cartesian-combinatorics.pdf ├── structure-preserving-functions.odt ├── structure-preserving-functions.pdf ├── sub-permutation-grammar.odt ├── sub-permutation-grammar.pdf ├── sub-type-aliasing.odt ├── sub-type-aliasing.pdf ├── sub-types-as-contextual-notation.odt ├── sub-types-as-contextual-notation.pdf ├── subset-sentences.odt ├── subset-sentences.pdf ├── surprising-strong-assumptions.odt ├── surprising-strong-assumptions.pdf ├── swap-contract-graphs.odt ├── swap-contract-graphs.pdf ├── swaps-of-swaps-grammar.odt ├── swaps-of-swaps-grammar.pdf ├── symbol-for-mathematics.odt ├── symbol-for-mathematics.pdf ├── symbolent-calculus-of-symbolic-type-inference.odt ├── symbolent-calculus-of-symbolic-type-inference.pdf ├── symmetric-avatar-paths.odt ├── symmetric-avatar-paths.pdf ├── symmetric-path-of-function-composition.odt ├── symmetric-path-of-function-composition.pdf ├── symmetric-paths-in-boolean-algebra.odt ├── symmetric-paths-in-boolean-algebra.pdf ├── symmetric-paths-of-matrices.odt ├── symmetric-paths-of-matrices.pdf ├── symmetry-forcing.odt ├── symmetry-forcing.pdf ├── synchronizability-and-cosynchronizability.odt ├── synchronizability-and-cosynchronizability.pdf ├── tautological-self-referential-identity.odt ├── tautological-self-referential-identity.pdf ├── terminology-for-binary-relations.odt ├── terminology-for-binary-relations.pdf ├── the-bits-function-family.odt ├── the-bits-function-family.pdf ├── the-cooperative-resource-misalignment-problem.odt ├── the-cooperative-resource-misalignment-problem.pdf ├── the-cursed-diamond-problem.odt ├── the-cursed-diamond-problem.pdf ├── the-empty-space-of-mind.odt ├── the-empty-space-of-mind.pdf ├── the-gap-between-sentences-and-computation.odt ├── the-gap-between-sentences-and-computation.pdf ├── the-healthy-eating-problem.odt ├── the-healthy-eating-problem.pdf ├── the-id-unit-function.odt ├── the-id-unit-function.pdf ├── the-inquiry-for-semantics-of-choices.odt ├── the-inquiry-for-semantics-of-choices.pdf ├── the-invisible-third-player-in-partial-reversible-games.odt ├── the-invisible-third-player-in-partial-reversible-games.pdf ├── the-law-of-impulse-displacement.odt ├── the-law-of-impulse-displacement.pdf ├── the-meaning-of-consistency.odt ├── the-meaning-of-consistency.pdf ├── the-meditating-monk-at-the-top-of-the-mountain.odt ├── the-meditating-monk-at-the-top-of-the-mountain.pdf ├── the-movie-hypothesis-of-non-consciousness.odt ├── the-movie-hypothesis-of-non-consciousness.pdf ├── the-polite-zen-robot.odt ├── the-polite-zen-robot.pdf ├── the-problem-of-describing-what-is-happening.odt ├── the-problem-of-describing-what-is-happening.pdf ├── the-room-hypothesis-of-common-sense.odt ├── the-room-hypothesis-of-common-sense.pdf ├── the-scientific-method-and-language-semantics.odt ├── the-scientific-method-and-language-semantics.pdf ├── the-terminal-function-and-propositions-of-irrelevance.odt ├── the-terminal-function-and-propositions-of-irrelevance.pdf ├── the-two-language-hypothesis.odt ├── the-two-language-hypothesis.pdf ├── the-zen-robot-oracle-problem.odt ├── the-zen-robot-oracle-problem.pdf ├── theorem-prover-combinators.odt ├── theorem-prover-combinators.pdf ├── three-expectations-of-intelligence.odt ├── three-expectations-of-intelligence.pdf ├── time-travel-logic.odt ├── time-travel-logic.pdf ├── transitive-existential-paths.odt ├── transitive-existential-paths.pdf ├── trivial-commutative-symmetry.odt ├── trivial-commutative-symmetry.pdf ├── truth-tables-for-answered-modal-logic.odt ├── truth-tables-for-answered-modal-logic.pdf ├── truth-values-of-sub-types.odt ├── truth-values-of-sub-types.pdf ├── twin-implication-core-theorem.odt ├── twin-implication-core-theorem.pdf ├── type-checking-variable-with-multiple-constraints.odt ├── type-checking-variable-with-multiple-constraints.pdf ├── type-inhabitation-as-existence-of-normal-identity-paths.odt ├── type-inhabitation-as-existence-of-normal-identity-paths.pdf ├── unary-embedding-termination.odt ├── unary-embedding-termination.pdf ├── unbiased-prior-belief-of-normalized-utility.odt ├── unbiased-prior-belief-of-normalized-utility.pdf ├── uncertain-identity-modality.odt ├── uncertain-identity-modality.pdf ├── uncovered-permutation-grammars.odt ├── uncovered-permutation-grammars.pdf ├── undecidable-infinitesimals.odt ├── undecidable-infinitesimals.pdf ├── undefined-symbols.odt ├── undefined-symbols.pdf ├── undefined-utility-in-terminal-state.odt ├── undefined-utility-in-terminal-state.pdf ├── uniform-properties-of-sets.odt ├── uniform-properties-of-sets.pdf ├── union-of-existential-paths.odt ├── union-of-existential-paths.pdf ├── unique-universal-binary-relations.odt ├── unique-universal-binary-relations.pdf ├── uniqueness-in-single-variable-proofs.odt ├── uniqueness-in-single-variable-proofs.pdf ├── unit-interval-focus.odt ├── unit-interval-focus.pdf ├── unitary-symmetric-paths.odt ├── unitary-symmetric-paths.pdf ├── universal-existential-path-is-the-opposite-concept-of-function-composition-that-constructs-ordinary-conditions.odt ├── universal-existential-path-is-the-opposite-concept-of-function-composition-that-constructs-ordinary-conditions.pdf ├── universal-existential-paths.odt ├── universal-existential-paths.pdf ├── universal-non-deterministic-sampler.odt ├── universal-non-deterministic-sampler.pdf ├── universally-optimal-compression.odt ├── universally-optimal-compression.pdf ├── variables-as-path.odt ├── variables-as-path.pdf ├── variables-in-mx-dependent-types.odt ├── variables-in-mx-dependent-types.pdf ├── visual-formula-for-determinants.odt ├── visual-formula-for-determinants.pdf ├── visualizing-implication-theorems.odt ├── visualizing-implication-theorems.pdf ├── visualizing-inversion-vs-not-in-answered-modal-logic.odt ├── visualizing-inversion-vs-not-in-answered-modal-logic.pdf ├── visualizing-path-semantics-using-lego-bricks.odt ├── visualizing-path-semantics-using-lego-bricks.pdf ├── when-two-zen-rational-agents-fall-in-love.odt ├── when-two-zen-rational-agents-fall-in-love.pdf ├── wildcard-sets.odt ├── wildcard-sets.pdf ├── witness-duality.odt ├── witness-duality.pdf ├── witness-in-path-semantical-logic.odt ├── witness-in-path-semantical-logic.pdf ├── zen-rational-paradox-game.odt ├── zen-rational-paradox-game.pdf ├── zen-rationality-and-false-beliefs.odt ├── zen-rationality-and-false-beliefs.pdf ├── zen-rationality.odt ├── zen-rationality.pdf ├── zen-robots-believe-humans-are-useless-but-feel-bad-about-it.odt └── zen-robots-believe-humans-are-useless-but-feel-bad-about-it.pdf ├── papers-wip2 ├── 3-ary-collatz-grammar.odt ├── 3-ary-collatz-grammar.pdf ├── a-criticial-examination-of-equality.odt ├── a-criticial-examination-of-equality.pdf ├── abstract-corruption.odt ├── abstract-corruption.pdf ├── absurdity-of-binary-relations.odt ├── absurdity-of-binary-relations.pdf ├── agnostic-language-bias.odt ├── agnostic-language-bias.pdf ├── algexenotation.odt ├── algexenotation.pdf ├── alphabetic-list-of-physical-information-systems.odt ├── alphabetic-list-of-physical-information-systems.pdf ├── anti-nominalism.odt ├── anti-nominalism.pdf ├── applied-category-of-sets.odt ├── applied-category-of-sets.pdf ├── avatar-hypergraph-rewriting.odt ├── avatar-hypergraph-rewriting.pdf ├── avatar-idempotency.odt ├── avatar-idempotency.pdf ├── avatar-logic-to-set-theory.odt ├── avatar-logic-to-set-theory.pdf ├── avatar-tables.odt ├── avatar-tables.pdf ├── avatar-univalence.odt ├── avatar-univalence.pdf ├── avatar-zen-ladders.odt ├── avatar-zen-ladders.pdf ├── avatars-in-the-holy-trinity.odt ├── avatars-in-the-holy-trinity.pdf ├── binary-lebesgue-measures.odt ├── binary-lebesgue-measures.pdf ├── bit-sequence-equality-using-path-semantical-qubit.odt ├── bit-sequence-equality-using-path-semantical-qubit.pdf ├── build-a-galactic-civilization.odt ├── build-a-galactic-civilization.pdf ├── catuskoti-existential-lift.odt ├── catuskoti-existential-lift.pdf ├── catuskoti-existential-path-equations.odt ├── catuskoti-existential-path-equations.pdf ├── centered-western-philosophy.odt ├── centered-western-philosophy.pdf ├── closed-natural-numbers-cosmology.odt ├── closed-natural-numbers-cosmology.pdf ├── cogito-cross-equality.odt ├── cogito-cross-equality.pdf ├── combinatorial-archenumbers.odt ├── combinatorial-archenumbers.pdf ├── communicated-concreteness.odt ├── communicated-concreteness.pdf ├── comparative-langauge-bias-in-tree-of-life.odt ├── comparative-langauge-bias-in-tree-of-life.pdf ├── complexity-of-path-semantics.odt ├── complexity-of-path-semantics.pdf ├── consciousness-in-wolfram-models.odt ├── consciousness-in-wolfram-models.pdf ├── constructive-critique-of-buddha.odt ├── constructive-critique-of-buddha.pdf ├── conversations-with-gpt-3-part-2.odt ├── conversations-with-gpt-3-part-2.pdf ├── conversations-with-gpt-3.odt ├── conversations-with-gpt-3.pdf ├── counter-example-to-leibniz-first-principle.odt ├── counter-example-to-leibniz-first-principle.pdf ├── creation-theorem.odt ├── creation-theorem.pdf ├── critical-vs-speculative-philosophy.odt ├── critical-vs-speculative-philosophy.pdf ├── criticial-analysis-of-language-bias-on-the-historicism-vs-mysticism-of-jesus.odt ├── criticial-analysis-of-language-bias-on-the-historicism-vs-mysticism-of-jesus.pdf ├── cube-of-elementary-systems.odt ├── cube-of-elementary-systems.pdf ├── deleuzes-image-of-thought.odt ├── deleuzes-image-of-thought.pdf ├── dialectical-masks.odt ├── dialectical-masks.pdf ├── differential-utility-complexity.odt ├── differential-utility-complexity.pdf ├── discrete-dipole-force.odt ├── discrete-dipole-force.pdf ├── distinctness-arrow-of-time.odt ├── distinctness-arrow-of-time.pdf ├── dit-calculus.odt ├── dit-calculus.pdf ├── dual-identity-lift.odt ├── dual-identity-lift.pdf ├── early-and-late-eroticism-of-the-sky-goddess.odt ├── early-and-late-eroticism-of-the-sky-goddess.pdf ├── eleven-algexenic-types.odt ├── eleven-algexenic-types.pdf ├── evaluation-oriented-classes.odt ├── evaluation-oriented-classes.pdf ├── existential-contradiction-logic.odt ├── existential-contradiction-logic.pdf ├── existential-cover-in-constructive-logic.odt ├── existential-cover-in-constructive-logic.pdf ├── existential-logic-and-graphs.odt ├── existential-logic-and-graphs.pdf ├── existential-propositions.odt ├── existential-propositions.pdf ├── general-function-composition.odt ├── general-function-composition.pdf ├── general-motion.odt ├── general-motion.pdf ├── grounding-of-causality-to-the-present.odt ├── grounding-of-causality-to-the-present.pdf ├── harry-potter-in-the-world-of-path-semantics.odt ├── harry-potter-in-the-world-of-path-semantics.pdf ├── hegels-contradiction-and-negation.odt ├── hegels-contradiction-and-negation.pdf ├── hierarchy-of-helpfulness.odt ├── hierarchy-of-helpfulness.pdf ├── higher-order-operator-overloading-by-explicit-notation.odt ├── higher-order-operator-overloading-by-explicit-notation.pdf ├── hilberts-over-filled-hotel.odt ├── hilberts-over-filled-hotel.pdf ├── homotopy-arithmecy.odt ├── homotopy-arithmecy.pdf ├── homotopy-level-two-computing.odt ├── homotopy-level-two-computing.pdf ├── homotopy-physics-and-avatars.odt ├── homotopy-physics-and-avatars.pdf ├── homotopy-physics-and-derivation-of-homotopy-maps.odt ├── homotopy-physics-and-derivation-of-homotopy-maps.pdf ├── homotopy-physics-and-path-integral-formulation.odt ├── homotopy-physics-and-path-integral-formulation.pdf ├── homotopy-physics-and-simplex-approximations.odt ├── homotopy-physics-and-simplex-approximations.pdf ├── hooo-exponential-propositions.odt ├── hooo-exponential-propositions.pdf ├── how-roman-poets-shaped-the-language-of-early-christianity.odt ├── how-roman-poets-shaped-the-language-of-early-christianity.pdf ├── hyperspherdisdodehedron.odt ├── hyperspherdisdodehedron.pdf ├── hypertorus-homotopy.odt ├── hypertorus-homotopy.pdf ├── hypothetical-approaches-to-existential-philosophy.odt ├── hypothetical-approaches-to-existential-philosophy.pdf ├── implicit-activation.odt ├── implicit-activation.pdf ├── incomplete-suggestion-for-proving-non-existence-of-christian-god.odt ├── incomplete-suggestion-for-proving-non-existence-of-christian-god.pdf ├── introduction-to-language-bias.odt ├── introduction-to-language-bias.pdf ├── introduction-to-psq.odp ├── introduction-to-psq.pdf ├── introduction-to-the-core-axiom.odp ├── introduction-to-the-core-axiom.pdf ├── joker-calculus.odt ├── joker-calculus.pdf ├── joker-contraction.odt ├── joker-contraction.pdf ├── joker-duality-in-the-yuga-time-cycle.odt ├── joker-duality-in-the-yuga-time-cycle.pdf ├── joker-incompatibilism.odt ├── joker-incompatibilism.pdf ├── language-bias-in-early-christianity.odt ├── language-bias-in-early-christianity.pdf ├── language-bias-in-the-modern-concept-of-god.odt ├── language-bias-in-the-modern-concept-of-god.pdf ├── language-bias-in-tree-of-life.odt ├── language-bias-in-tree-of-life.pdf ├── language-diversity-in-ordered-pairs.odt ├── language-diversity-in-ordered-pairs.pdf ├── last-order-logic.odt ├── last-order-logic.pdf ├── laws-of-form-as-avatar-extension.odt ├── laws-of-form-as-avatar-extension.pdf ├── left-and-right-inverse.odt ├── left-and-right-inverse.pdf ├── linear-polarized-light.odt ├── linear-polarized-light.pdf ├── listing-mobius-shift-symmetry-on-closed-time-loops.odt ├── listing-mobius-shift-symmetry-on-closed-time-loops.pdf ├── logi.odt ├── logi.pdf ├── logical-being.odt ├── logical-being.pdf ├── logos-and-zoe.odt ├── logos-and-zoe.pdf ├── martin-heidegger-vs-alan-watts.odt ├── martin-heidegger-vs-alan-watts.pdf ├── minimum-sequence-of-reciprocal-prime-unitary-sums.odt ├── minimum-sequence-of-reciprocal-prime-unitary-sums.pdf ├── monadic-subsets.odt ├── monadic-subsets.pdf ├── motivation-of-homotopy-levels-from-multiple-psqs.odt ├── motivation-of-homotopy-levels-from-multiple-psqs.pdf ├── motivations-of-path-semantics.odt ├── motivations-of-path-semantics.pdf ├── mythological-meta-game-theory.odt ├── mythological-meta-game-theory.pdf ├── natural-difference-geometry.odt ├── natural-difference-geometry.pdf ├── natural-loneliness.odt ├── natural-loneliness.pdf ├── natural-propositions.odt ├── natural-propositions.pdf ├── natural-univalent-calculus.odt ├── natural-univalent-calculus.pdf ├── new-standard-order-for-levels.odt ├── new-standard-order-for-levels.pdf ├── non-cover-of-imaginary-inverse.odt ├── non-cover-of-imaginary-inverse.pdf ├── non-standard-symmetric-binary.odt ├── non-standard-symmetric-binary.pdf ├── normal-paths-in-category-theory.odt ├── normal-paths-in-category-theory.pdf ├── numerical-notation-for-partial-differential-equations.odt ├── numerical-notation-for-partial-differential-equations.pdf ├── nuobocat.odt ├── nuobocat.pdf ├── open-morphisms.odt ├── open-morphisms.pdf ├── orthogonal-lattice-exploration.odt ├── orthogonal-lattice-exploration.pdf ├── ourobra-tables.odt ├── ourobra-tables.pdf ├── overview-of-path-semantical-logics.odt ├── overview-of-path-semantical-logics.pdf ├── path-semantical-aquality.odt ├── path-semantical-aquality.pdf ├── path-semantical-contravariant-quality.odt ├── path-semantical-contravariant-quality.pdf ├── path-semantical-outer-quality.odt ├── path-semantical-outer-quality.pdf ├── path-semantical-quality-as-path-connected-spaces.odt ├── path-semantical-quality-as-path-connected-spaces.pdf ├── path-semantical-quality-truth-table.odt ├── path-semantical-quality-truth-table.pdf ├── path-semantical-quality.odt ├── path-semantical-quality.pdf ├── path-semantical-qubit.odt ├── path-semantical-qubit.pdf ├── perception-prediction.odt ├── perception-prediction.pdf ├── platonic-and-seshatic-increments.odt ├── platonic-and-seshatic-increments.pdf ├── primbix.odt ├── primbix.pdf ├── prime-bound.odt ├── prime-bound.pdf ├── prime-model-of-sensory-experience.odt ├── prime-model-of-sensory-experience.pdf ├── prime-symmetric-goldbach.odt ├── prime-symmetric-goldbach.pdf ├── qual-and-qualitative.odt ├── qual-and-qualitative.pdf ├── qualitative-implication.odt ├── qualitative-implication.pdf ├── radix-less-symbolic-efficiency.odt ├── radix-less-symbolic-efficiency.pdf ├── rational-symmetry-function.odt ├── rational-symmetry-function.pdf ├── reals-defined-using-satisfied-natural-numbers.odt ├── reals-defined-using-satisfied-natural-numbers.pdf ├── relativistic-monism.odt ├── relativistic-monism.pdf ├── reproducible-type-theory.odt ├── reproducible-type-theory.pdf ├── restricted-dual-composition.odt ├── restricted-dual-composition.pdf ├── rule-free-logic.odt ├── rule-free-logic.pdf ├── satisfied-natural-numbers.odt ├── satisfied-natural-numbers.pdf ├── semantics-of-falsehood.odt ├── semantics-of-falsehood.pdf ├── semantics-of-propositions.odt ├── semantics-of-propositions.pdf ├── semi-invertible-folded-fields.odt ├── semi-invertible-folded-fields.pdf ├── seshatic-and-platonic-paths.odt ├── seshatic-and-platonic-paths.pdf ├── seshatic-inequality-overloading.odt ├── seshatic-inequality-overloading.pdf ├── seshatic-platonic-cycles.odt ├── seshatic-platonic-cycles.pdf ├── seshatic-queenity.odt ├── seshatic-queenity.pdf ├── seshatism.odt ├── seshatism.pdf ├── stealing-the-voice.odt ├── stealing-the-voice.pdf ├── structural-analysis-for-logicians.odt ├── structural-analysis-for-logicians.pdf ├── superphilosophers.odt ├── superphilosophers.pdf ├── symbiosis-and-ourobiosis.odt ├── symbiosis-and-ourobiosis.pdf ├── symbolic-distinction.odt ├── symbolic-distinction.pdf ├── symbolic-indistinction-as-propositional-infinity.odt ├── symbolic-indistinction-as-propositional-infinity.pdf ├── symbols-of-code.odt ├── symbols-of-code.pdf ├── symbols-of-power.odt ├── symbols-of-power.pdf ├── symmetric-quality-grading.odt ├── symmetric-quality-grading.pdf ├── tautological-equality-in-classical-propositional-logic.odt ├── tautological-equality-in-classical-propositional-logic.pdf ├── terminology-for-morphisms.odt ├── terminology-for-morphisms.pdf ├── the-century-of-satire.odt ├── the-century-of-satire.pdf ├── the-classical-model-of-path-semantical-qubit.odt ├── the-classical-model-of-path-semantical-qubit.pdf ├── the-gospel-of-gpt-4.odt ├── the-gospel-of-gpt-4.pdf ├── the-island-of-humanity.odt ├── the-island-of-humanity.pdf ├── the-joker-type.odt ├── the-joker-type.pdf ├── the-joker.odt ├── the-joker.pdf ├── the-logic-of-sub-types.odt ├── the-logic-of-sub-types.pdf ├── the-origin-of-jesus.odt ├── the-origin-of-jesus.pdf ├── the-origin-of-monism.odt ├── the-origin-of-monism.pdf ├── the-problem-with-paul.odt ├── the-problem-with-paul.pdf ├── the-rise-of-seshatism.odt ├── the-rise-of-seshatism.pdf ├── the-subjective-sense-of-io.odt ├── the-subjective-sense-of-io.pdf ├── the-symbolic-distinction-hypothesis-of-consciousness.odt ├── the-symbolic-distinction-hypothesis-of-consciousness.pdf ├── theoretical-vs-existential-possibility.odt ├── theoretical-vs-existential-possibility.pdf ├── time-interpretation.odt ├── time-interpretation.pdf ├── transcendental-propositions.odt ├── transcendental-propositions.pdf ├── transitive-mirror-theorems.odt ├── transitive-mirror-theorems.pdf ├── tree-of-life-platonic-joker-platonism.odt ├── tree-of-life-platonic-joker-platonism.pdf ├── tribe-epistemic-logic.odt ├── tribe-epistemic-logic.pdf ├── uberwrong-logic.odt ├── uberwrong-logic.pdf ├── un-and-re-sesh.odt ├── un-and-re-sesh.pdf ├── understanding-language-bias-in-ancient-religions.odt ├── understanding-language-bias-in-ancient-religions.pdf ├── univalent-involutions.odt ├── univalent-involutions.pdf ├── wellsprings-of-redemption.odt ├── wellsprings-of-redemption.pdf ├── what-is-philosophy.odt ├── what-is-philosophy.pdf ├── what-is-wrong-with-platonism.odt ├── what-is-wrong-with-platonism.pdf ├── zen-languages.odt └── zen-languages.pdf ├── roadmap.md ├── rust_experiments ├── basic_theorem_prover │ ├── .gitignore │ ├── Cargo.toml │ ├── examples │ │ └── ps.rs │ └── src │ │ └── lib.rs └── boolean_paths │ ├── .gitignore │ ├── Cargo.toml │ └── src │ └── lib.rs ├── sequences.md ├── src ├── interpreter.rs └── lib.rs └── workflow.md /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/README.md -------------------------------------------------------------------------------- /ai-sequences.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/ai-sequences.md -------------------------------------------------------------------------------- /assets/bool.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/assets/bool.txt -------------------------------------------------------------------------------- /assets/nat.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/assets/nat.txt -------------------------------------------------------------------------------- /assets/option.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/assets/option.txt -------------------------------------------------------------------------------- /assets/string.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/assets/string.txt -------------------------------------------------------------------------------- /assets/syntax.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/assets/syntax.txt -------------------------------------------------------------------------------- /assets/the-simpsons.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/assets/the-simpsons.txt -------------------------------------------------------------------------------- /dyon_experiments/boolalg/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | Cargo.lock 3 | 4 | -------------------------------------------------------------------------------- /dyon_experiments/boolalg/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/boolalg/Cargo.toml -------------------------------------------------------------------------------- /dyon_experiments/boolalg/src/main.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/boolalg/src/main.dyon -------------------------------------------------------------------------------- /dyon_experiments/boolalg/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/boolalg/src/main.rs -------------------------------------------------------------------------------- /dyon_experiments/category/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /dyon_experiments/category/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/category/Cargo.toml -------------------------------------------------------------------------------- /dyon_experiments/category/src/category.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/category/src/category.dyon -------------------------------------------------------------------------------- /dyon_experiments/category/src/loader.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/category/src/loader.dyon -------------------------------------------------------------------------------- /dyon_experiments/category/src/main.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/category/src/main.dyon -------------------------------------------------------------------------------- /dyon_experiments/category/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/category/src/main.rs -------------------------------------------------------------------------------- /dyon_experiments/homotopy_core/main.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/homotopy_core/main.dyon -------------------------------------------------------------------------------- /dyon_experiments/scomb/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | Cargo.lock 3 | 4 | -------------------------------------------------------------------------------- /dyon_experiments/scomb/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/scomb/Cargo.toml -------------------------------------------------------------------------------- /dyon_experiments/scomb/src/main.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/scomb/src/main.dyon -------------------------------------------------------------------------------- /dyon_experiments/scomb/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/scomb/src/main.rs -------------------------------------------------------------------------------- /dyon_experiments/sym_extract/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /dyon_experiments/sym_extract/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/sym_extract/Cargo.toml -------------------------------------------------------------------------------- /dyon_experiments/sym_extract/src/data.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/sym_extract/src/data.dyon -------------------------------------------------------------------------------- /dyon_experiments/sym_extract/src/loader.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/sym_extract/src/loader.dyon -------------------------------------------------------------------------------- /dyon_experiments/sym_extract/src/main.dyon: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/sym_extract/src/main.dyon -------------------------------------------------------------------------------- /dyon_experiments/sym_extract/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/dyon_experiments/sym_extract/src/main.rs -------------------------------------------------------------------------------- /faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/faq.md -------------------------------------------------------------------------------- /flowcharts/how-logical-systems-are-made.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/flowcharts/how-logical-systems-are-made.md -------------------------------------------------------------------------------- /flowcharts/how-logical-systems-are-made.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/flowcharts/how-logical-systems-are-made.svg -------------------------------------------------------------------------------- /flowcharts/the-basic-problem-of-ethics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/flowcharts/the-basic-problem-of-ethics.md -------------------------------------------------------------------------------- /flowcharts/the-basic-problem-of-ethics.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/flowcharts/the-basic-problem-of-ethics.svg -------------------------------------------------------------------------------- /flowcharts/the-ladder-of-thinking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/flowcharts/the-ladder-of-thinking.md -------------------------------------------------------------------------------- /flowcharts/the-ladder-of-thinking.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/flowcharts/the-ladder-of-thinking.svg -------------------------------------------------------------------------------- /images/and-andor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/images/and-andor.png -------------------------------------------------------------------------------- /images/fractal.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/images/fractal.png -------------------------------------------------------------------------------- /papers-wip/absoid-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/absoid-functions.odt -------------------------------------------------------------------------------- /papers-wip/absoid-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/absoid-functions.pdf -------------------------------------------------------------------------------- /papers-wip/absolute-oddness.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/absolute-oddness.odt -------------------------------------------------------------------------------- /papers-wip/absolute-oddness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/absolute-oddness.pdf -------------------------------------------------------------------------------- /papers-wip/abstract-assertions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-assertions.odt -------------------------------------------------------------------------------- /papers-wip/abstract-assertions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-assertions.pdf -------------------------------------------------------------------------------- /papers-wip/abstract-idempotent-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-idempotent-functions.odt -------------------------------------------------------------------------------- /papers-wip/abstract-idempotent-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-idempotent-functions.pdf -------------------------------------------------------------------------------- /papers-wip/abstract-implication-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-implication-theorem.odt -------------------------------------------------------------------------------- /papers-wip/abstract-implication-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-implication-theorem.pdf -------------------------------------------------------------------------------- /papers-wip/abstract-sub-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-sub-types.odt -------------------------------------------------------------------------------- /papers-wip/abstract-sub-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-sub-types.pdf -------------------------------------------------------------------------------- /papers-wip/abstract-transport-xor-trick.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-transport-xor-trick.odt -------------------------------------------------------------------------------- /papers-wip/abstract-transport-xor-trick.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/abstract-transport-xor-trick.pdf -------------------------------------------------------------------------------- /papers-wip/adjective-sub-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjective-sub-types.odt -------------------------------------------------------------------------------- /papers-wip/adjective-sub-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjective-sub-types.pdf -------------------------------------------------------------------------------- /papers-wip/adjoint-commutative-symmetry.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjoint-commutative-symmetry.odt -------------------------------------------------------------------------------- /papers-wip/adjoint-commutative-symmetry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjoint-commutative-symmetry.pdf -------------------------------------------------------------------------------- /papers-wip/adjoint-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjoint-paths.odt -------------------------------------------------------------------------------- /papers-wip/adjoint-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjoint-paths.pdf -------------------------------------------------------------------------------- /papers-wip/adjoint-trivial-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjoint-trivial-paths.odt -------------------------------------------------------------------------------- /papers-wip/adjoint-trivial-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adjoint-trivial-paths.pdf -------------------------------------------------------------------------------- /papers-wip/adversarial-discrete-topology.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adversarial-discrete-topology.odt -------------------------------------------------------------------------------- /papers-wip/adversarial-discrete-topology.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adversarial-discrete-topology.pdf -------------------------------------------------------------------------------- /papers-wip/adversarial-path-of-list.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adversarial-path-of-list.odt -------------------------------------------------------------------------------- /papers-wip/adversarial-path-of-list.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adversarial-path-of-list.pdf -------------------------------------------------------------------------------- /papers-wip/adversarial-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adversarial-paths.odt -------------------------------------------------------------------------------- /papers-wip/adversarial-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/adversarial-paths.pdf -------------------------------------------------------------------------------- /papers-wip/agent-discrete-decision-space.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/agent-discrete-decision-space.odt -------------------------------------------------------------------------------- /papers-wip/agent-discrete-decision-space.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/agent-discrete-decision-space.pdf -------------------------------------------------------------------------------- /papers-wip/algebra-of-proofs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/algebra-of-proofs.odt -------------------------------------------------------------------------------- /papers-wip/alpha-theorem-proving.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/alpha-theorem-proving.odt -------------------------------------------------------------------------------- /papers-wip/alpha-theorem-proving.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/alpha-theorem-proving.pdf -------------------------------------------------------------------------------- /papers-wip/alphabetic-list-of-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/alphabetic-list-of-functions.odt -------------------------------------------------------------------------------- /papers-wip/alphabetic-list-of-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/alphabetic-list-of-functions.pdf -------------------------------------------------------------------------------- /papers-wip/alphabetic-list-of-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/alphabetic-list-of-paths.odt -------------------------------------------------------------------------------- /papers-wip/alphabetic-list-of-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/alphabetic-list-of-paths.pdf -------------------------------------------------------------------------------- /papers-wip/and-not-or-set-matrix.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/and-not-or-set-matrix.odt -------------------------------------------------------------------------------- /papers-wip/and-not-or-set-matrix.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/and-not-or-set-matrix.pdf -------------------------------------------------------------------------------- /papers-wip/and-with-cubical-binary-codes.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/and-with-cubical-binary-codes.odt -------------------------------------------------------------------------------- /papers-wip/and-with-cubical-binary-codes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/and-with-cubical-binary-codes.pdf -------------------------------------------------------------------------------- /papers-wip/answered-modal-logic-catuskoti.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/answered-modal-logic-catuskoti.odt -------------------------------------------------------------------------------- /papers-wip/answered-modal-logic-catuskoti.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/answered-modal-logic-catuskoti.pdf -------------------------------------------------------------------------------- /papers-wip/answered-modal-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/answered-modal-logic.odt -------------------------------------------------------------------------------- /papers-wip/answered-modal-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/answered-modal-logic.pdf -------------------------------------------------------------------------------- /papers-wip/anthropic-quantum-theorems.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/anthropic-quantum-theorems.odt -------------------------------------------------------------------------------- /papers-wip/anthropic-quantum-theorems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/anthropic-quantum-theorems.pdf -------------------------------------------------------------------------------- /papers-wip/argument-irrelevant-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/argument-irrelevant-functions.odt -------------------------------------------------------------------------------- /papers-wip/argument-irrelevant-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/argument-irrelevant-functions.pdf -------------------------------------------------------------------------------- /papers-wip/argument-relevant-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/argument-relevant-functions.odt -------------------------------------------------------------------------------- /papers-wip/argument-relevant-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/argument-relevant-functions.pdf -------------------------------------------------------------------------------- /papers-wip/asserting-formal-associations.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/asserting-formal-associations.odt -------------------------------------------------------------------------------- /papers-wip/asserting-formal-associations.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/asserting-formal-associations.pdf -------------------------------------------------------------------------------- /papers-wip/associativity-avatar-graph.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/associativity-avatar-graph.odt -------------------------------------------------------------------------------- /papers-wip/associativity-avatar-graph.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/associativity-avatar-graph.pdf -------------------------------------------------------------------------------- /papers-wip/asymmetric-inverse.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/asymmetric-inverse.odt -------------------------------------------------------------------------------- /papers-wip/asymmetric-inverse.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/asymmetric-inverse.pdf -------------------------------------------------------------------------------- /papers-wip/asymmetric-velocity-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/asymmetric-velocity-logic.odt -------------------------------------------------------------------------------- /papers-wip/asymmetric-velocity-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/asymmetric-velocity-logic.pdf -------------------------------------------------------------------------------- /papers-wip/atomic-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/atomic-functions.odt -------------------------------------------------------------------------------- /papers-wip/atomic-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/atomic-functions.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-algebra-superposition.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-algebra-superposition.odt -------------------------------------------------------------------------------- /papers-wip/avatar-algebra-superposition.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-algebra-superposition.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-algebra-symmetry.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-algebra-symmetry.odt -------------------------------------------------------------------------------- /papers-wip/avatar-algebra-symmetry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-algebra-symmetry.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-binary-relations.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-binary-relations.odt -------------------------------------------------------------------------------- /papers-wip/avatar-binary-relations.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-binary-relations.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-covers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-covers.odt -------------------------------------------------------------------------------- /papers-wip/avatar-covers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-covers.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-graphs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-graphs.odt -------------------------------------------------------------------------------- /papers-wip/avatar-graphs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-graphs.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-schema-theory.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-schema-theory.odt -------------------------------------------------------------------------------- /papers-wip/avatar-schema-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-schema-theory.pdf -------------------------------------------------------------------------------- /papers-wip/avatar-time-lines.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-time-lines.odt -------------------------------------------------------------------------------- /papers-wip/avatar-time-lines.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/avatar-time-lines.pdf -------------------------------------------------------------------------------- /papers-wip/basic-path-semantics.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/basic-path-semantics.odt -------------------------------------------------------------------------------- /papers-wip/boolean-algebra-cheat-sheet.ods: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/boolean-algebra-cheat-sheet.ods -------------------------------------------------------------------------------- /papers-wip/boolean-algebra-cheat-sheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/boolean-algebra-cheat-sheet.pdf -------------------------------------------------------------------------------- /papers-wip/boolean-algebra-using-if-else.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/boolean-algebra-using-if-else.odt -------------------------------------------------------------------------------- /papers-wip/boolean-algebra-using-if-else.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/boolean-algebra-using-if-else.pdf -------------------------------------------------------------------------------- /papers-wip/boolean-point-features.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/boolean-point-features.odt -------------------------------------------------------------------------------- /papers-wip/boolean-point-features.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/boolean-point-features.pdf -------------------------------------------------------------------------------- /papers-wip/bounded-integral.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/bounded-integral.odt -------------------------------------------------------------------------------- /papers-wip/bounded-integral.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/bounded-integral.pdf -------------------------------------------------------------------------------- /papers-wip/branch-permutation-grammar.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/branch-permutation-grammar.odt -------------------------------------------------------------------------------- /papers-wip/branch-permutation-grammar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/branch-permutation-grammar.pdf -------------------------------------------------------------------------------- /papers-wip/cartesian-products-vs-arrows.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cartesian-products-vs-arrows.odt -------------------------------------------------------------------------------- /papers-wip/cartesian-products-vs-arrows.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cartesian-products-vs-arrows.pdf -------------------------------------------------------------------------------- /papers-wip/category-realizable-groupoids.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/category-realizable-groupoids.odt -------------------------------------------------------------------------------- /papers-wip/category-realizable-groupoids.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/category-realizable-groupoids.pdf -------------------------------------------------------------------------------- /papers-wip/category-theory-of-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/category-theory-of-logic.odt -------------------------------------------------------------------------------- /papers-wip/category-theory-of-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/category-theory-of-logic.pdf -------------------------------------------------------------------------------- /papers-wip/catuskoti-communication.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/catuskoti-communication.odt -------------------------------------------------------------------------------- /papers-wip/catuskoti-communication.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/catuskoti-communication.pdf -------------------------------------------------------------------------------- /papers-wip/closed-natural-numbers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/closed-natural-numbers.odt -------------------------------------------------------------------------------- /papers-wip/closed-natural-numbers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/closed-natural-numbers.pdf -------------------------------------------------------------------------------- /papers-wip/closed-sub-types-of-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/closed-sub-types-of-sets.odt -------------------------------------------------------------------------------- /papers-wip/closed-sub-types-of-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/closed-sub-types-of-sets.pdf -------------------------------------------------------------------------------- /papers-wip/cocategory-enumeration.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocategory-enumeration.odt -------------------------------------------------------------------------------- /papers-wip/cocategory-enumeration.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocategory-enumeration.pdf -------------------------------------------------------------------------------- /papers-wip/cocyclic-cubes.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-cubes.odt -------------------------------------------------------------------------------- /papers-wip/cocyclic-cubes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-cubes.pdf -------------------------------------------------------------------------------- /papers-wip/cocyclic-graphs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-graphs.odt -------------------------------------------------------------------------------- /papers-wip/cocyclic-graphs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-graphs.pdf -------------------------------------------------------------------------------- /papers-wip/cocyclic-hexagons.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-hexagons.odt -------------------------------------------------------------------------------- /papers-wip/cocyclic-hexagons.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-hexagons.pdf -------------------------------------------------------------------------------- /papers-wip/cocyclic-n-gon-necklaces.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-n-gon-necklaces.odt -------------------------------------------------------------------------------- /papers-wip/cocyclic-n-gon-necklaces.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-n-gon-necklaces.pdf -------------------------------------------------------------------------------- /papers-wip/cocyclic-pentagons.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-pentagons.odt -------------------------------------------------------------------------------- /papers-wip/cocyclic-pentagons.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-pentagons.pdf -------------------------------------------------------------------------------- /papers-wip/cocyclic-squares.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-squares.odt -------------------------------------------------------------------------------- /papers-wip/cocyclic-squares.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cocyclic-squares.pdf -------------------------------------------------------------------------------- /papers-wip/collapse-theorems.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/collapse-theorems.odt -------------------------------------------------------------------------------- /papers-wip/collapse-theorems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/collapse-theorems.pdf -------------------------------------------------------------------------------- /papers-wip/comments-on-leibnizs-law.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/comments-on-leibnizs-law.odt -------------------------------------------------------------------------------- /papers-wip/comments-on-leibnizs-law.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/comments-on-leibnizs-law.pdf -------------------------------------------------------------------------------- /papers-wip/common-sense-of-gratefulness.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/common-sense-of-gratefulness.odt -------------------------------------------------------------------------------- /papers-wip/common-sense-of-gratefulness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/common-sense-of-gratefulness.pdf -------------------------------------------------------------------------------- /papers-wip/commutative-symmetric-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/commutative-symmetric-paths.odt -------------------------------------------------------------------------------- /papers-wip/commutative-symmetric-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/commutative-symmetric-paths.pdf -------------------------------------------------------------------------------- /papers-wip/computational-equivalence.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/computational-equivalence.odt -------------------------------------------------------------------------------- /papers-wip/computational-equivalence.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/computational-equivalence.pdf -------------------------------------------------------------------------------- /papers-wip/concept-grammar-language.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/concept-grammar-language.odt -------------------------------------------------------------------------------- /papers-wip/concept-grammar-language.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/concept-grammar-language.pdf -------------------------------------------------------------------------------- /papers-wip/constant-speed-transform.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constant-speed-transform.odt -------------------------------------------------------------------------------- /papers-wip/constant-speed-transform.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constant-speed-transform.pdf -------------------------------------------------------------------------------- /papers-wip/constrained-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constrained-functions.odt -------------------------------------------------------------------------------- /papers-wip/constrained-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constrained-functions.pdf -------------------------------------------------------------------------------- /papers-wip/constrained-normal-path-proofs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constrained-normal-path-proofs.odt -------------------------------------------------------------------------------- /papers-wip/constrained-normal-path-proofs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constrained-normal-path-proofs.pdf -------------------------------------------------------------------------------- /papers-wip/constraint-power-set-notation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constraint-power-set-notation.odt -------------------------------------------------------------------------------- /papers-wip/constraint-power-set-notation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constraint-power-set-notation.pdf -------------------------------------------------------------------------------- /papers-wip/constructive-symmetry-breaking.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constructive-symmetry-breaking.odt -------------------------------------------------------------------------------- /papers-wip/constructive-symmetry-breaking.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constructive-symmetry-breaking.pdf -------------------------------------------------------------------------------- /papers-wip/constructive-utility-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constructive-utility-functions.odt -------------------------------------------------------------------------------- /papers-wip/constructive-utility-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/constructive-utility-functions.pdf -------------------------------------------------------------------------------- /papers-wip/context-theorem-proving.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/context-theorem-proving.odt -------------------------------------------------------------------------------- /papers-wip/context-theorem-proving.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/context-theorem-proving.pdf -------------------------------------------------------------------------------- /papers-wip/continuous-lattice-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/continuous-lattice-functions.odt -------------------------------------------------------------------------------- /papers-wip/continuous-lattice-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/continuous-lattice-functions.pdf -------------------------------------------------------------------------------- /papers-wip/continuous-monotonicity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/continuous-monotonicity.odt -------------------------------------------------------------------------------- /papers-wip/continuous-monotonicity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/continuous-monotonicity.pdf -------------------------------------------------------------------------------- /papers-wip/contractible-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/contractible-types.odt -------------------------------------------------------------------------------- /papers-wip/contractible-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/contractible-types.pdf -------------------------------------------------------------------------------- /papers-wip/contracting-havox-diagrams.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/contracting-havox-diagrams.odt -------------------------------------------------------------------------------- /papers-wip/contracting-havox-diagrams.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/contracting-havox-diagrams.pdf -------------------------------------------------------------------------------- /papers-wip/contraction-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/contraction-theorem.odt -------------------------------------------------------------------------------- /papers-wip/contraction-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/contraction-theorem.pdf -------------------------------------------------------------------------------- /papers-wip/cubical-binary-codes.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cubical-binary-codes.odt -------------------------------------------------------------------------------- /papers-wip/cubical-binary-codes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cubical-binary-codes.pdf -------------------------------------------------------------------------------- /papers-wip/cubical-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cubical-types.odt -------------------------------------------------------------------------------- /papers-wip/cubical-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/cubical-types.pdf -------------------------------------------------------------------------------- /papers-wip/dependent-asymmetric-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dependent-asymmetric-paths.odt -------------------------------------------------------------------------------- /papers-wip/dependent-asymmetric-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dependent-asymmetric-paths.pdf -------------------------------------------------------------------------------- /papers-wip/dependent-lsystem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dependent-lsystem.odt -------------------------------------------------------------------------------- /papers-wip/dependent-lsystem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dependent-lsystem.pdf -------------------------------------------------------------------------------- /papers-wip/derivative.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/derivative.odt -------------------------------------------------------------------------------- /papers-wip/derivative.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/derivative.pdf -------------------------------------------------------------------------------- /papers-wip/differential-existential-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/differential-existential-paths.odt -------------------------------------------------------------------------------- /papers-wip/differential-existential-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/differential-existential-paths.pdf -------------------------------------------------------------------------------- /papers-wip/directional-set-algebra.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/directional-set-algebra.odt -------------------------------------------------------------------------------- /papers-wip/directional-set-algebra.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/directional-set-algebra.pdf -------------------------------------------------------------------------------- /papers-wip/directional-set-products.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/directional-set-products.odt -------------------------------------------------------------------------------- /papers-wip/directional-set-products.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/directional-set-products.pdf -------------------------------------------------------------------------------- /papers-wip/discrete-lattice-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/discrete-lattice-functions.odt -------------------------------------------------------------------------------- /papers-wip/discrete-lattice-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/discrete-lattice-functions.pdf -------------------------------------------------------------------------------- /papers-wip/discrete-monotonic-limits.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/discrete-monotonic-limits.odt -------------------------------------------------------------------------------- /papers-wip/discrete-monotonic-limits.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/discrete-monotonic-limits.pdf -------------------------------------------------------------------------------- /papers-wip/domain-constraint-notation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/domain-constraint-notation.odt -------------------------------------------------------------------------------- /papers-wip/domain-constraint-notation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/domain-constraint-notation.pdf -------------------------------------------------------------------------------- /papers-wip/dual-adjoint-operators.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dual-adjoint-operators.odt -------------------------------------------------------------------------------- /papers-wip/dual-adjoint-operators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dual-adjoint-operators.pdf -------------------------------------------------------------------------------- /papers-wip/dual-number-monotonic-density.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dual-number-monotonic-density.odt -------------------------------------------------------------------------------- /papers-wip/dual-number-monotonic-density.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/dual-number-monotonic-density.pdf -------------------------------------------------------------------------------- /papers-wip/efficient-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/efficient-sets.odt -------------------------------------------------------------------------------- /papers-wip/efficient-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/efficient-sets.pdf -------------------------------------------------------------------------------- /papers-wip/efficient-type-checking.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/efficient-type-checking.odt -------------------------------------------------------------------------------- /papers-wip/efficient-type-checking.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/efficient-type-checking.pdf -------------------------------------------------------------------------------- /papers-wip/emph-notation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/emph-notation.odt -------------------------------------------------------------------------------- /papers-wip/emph-notation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/emph-notation.pdf -------------------------------------------------------------------------------- /papers-wip/encoding-equivalences-as-swaps.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/encoding-equivalences-as-swaps.odt -------------------------------------------------------------------------------- /papers-wip/encoding-equivalences-as-swaps.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/encoding-equivalences-as-swaps.pdf -------------------------------------------------------------------------------- /papers-wip/entangled-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/entangled-functions.odt -------------------------------------------------------------------------------- /papers-wip/entangled-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/entangled-functions.pdf -------------------------------------------------------------------------------- /papers-wip/entangled-xor-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/entangled-xor-theorem.odt -------------------------------------------------------------------------------- /papers-wip/entangled-xor-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/entangled-xor-theorem.pdf -------------------------------------------------------------------------------- /papers-wip/equation-inference.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equation-inference.odt -------------------------------------------------------------------------------- /papers-wip/equation-inference.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equation-inference.pdf -------------------------------------------------------------------------------- /papers-wip/equations-as-algebraic-objects.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equations-as-algebraic-objects.odt -------------------------------------------------------------------------------- /papers-wip/equations-as-algebraic-objects.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equations-as-algebraic-objects.pdf -------------------------------------------------------------------------------- /papers-wip/equivalence-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equivalence-paths.odt -------------------------------------------------------------------------------- /papers-wip/equivalence-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equivalence-paths.pdf -------------------------------------------------------------------------------- /papers-wip/equivalent-utility-transport.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equivalent-utility-transport.odt -------------------------------------------------------------------------------- /papers-wip/equivalent-utility-transport.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/equivalent-utility-transport.pdf -------------------------------------------------------------------------------- /papers-wip/error-predictive-learning.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/error-predictive-learning.odt -------------------------------------------------------------------------------- /papers-wip/error-predictive-learning.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/error-predictive-learning.pdf -------------------------------------------------------------------------------- /papers-wip/exclusive-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/exclusive-theorem.odt -------------------------------------------------------------------------------- /papers-wip/exclusive-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/exclusive-theorem.pdf -------------------------------------------------------------------------------- /papers-wip/existence-of-normal-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/existence-of-normal-paths.odt -------------------------------------------------------------------------------- /papers-wip/existence-of-normal-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/existence-of-normal-paths.pdf -------------------------------------------------------------------------------- /papers-wip/existential-paths-as-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/existential-paths-as-sets.odt -------------------------------------------------------------------------------- /papers-wip/existential-paths-as-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/existential-paths-as-sets.pdf -------------------------------------------------------------------------------- /papers-wip/existential-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/existential-paths.odt -------------------------------------------------------------------------------- /papers-wip/existential-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/existential-paths.pdf -------------------------------------------------------------------------------- /papers-wip/exponential-duplication.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/exponential-duplication.odt -------------------------------------------------------------------------------- /papers-wip/exponential-duplication.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/exponential-duplication.pdf -------------------------------------------------------------------------------- /papers-wip/faster-brute-force-proofs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/faster-brute-force-proofs.odt -------------------------------------------------------------------------------- /papers-wip/faster-brute-force-proofs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/faster-brute-force-proofs.pdf -------------------------------------------------------------------------------- /papers-wip/friend-vs-enemy-asymmetry.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/friend-vs-enemy-asymmetry.odt -------------------------------------------------------------------------------- /papers-wip/friend-vs-enemy-asymmetry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/friend-vs-enemy-asymmetry.pdf -------------------------------------------------------------------------------- /papers-wip/full-binary-trees.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/full-binary-trees.odt -------------------------------------------------------------------------------- /papers-wip/full-binary-trees.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/full-binary-trees.pdf -------------------------------------------------------------------------------- /papers-wip/functiom-compressor.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/functiom-compressor.odt -------------------------------------------------------------------------------- /papers-wip/functiom-compressor.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/functiom-compressor.pdf -------------------------------------------------------------------------------- /papers-wip/function-currying-notation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/function-currying-notation.odt -------------------------------------------------------------------------------- /papers-wip/function-currying-notation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/function-currying-notation.pdf -------------------------------------------------------------------------------- /papers-wip/function-identity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/function-identity.odt -------------------------------------------------------------------------------- /papers-wip/function-identity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/function-identity.pdf -------------------------------------------------------------------------------- /papers-wip/generalized-swap-grammar.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/generalized-swap-grammar.odt -------------------------------------------------------------------------------- /papers-wip/generalized-swap-grammar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/generalized-swap-grammar.pdf -------------------------------------------------------------------------------- /papers-wip/geometric-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/geometric-paths.odt -------------------------------------------------------------------------------- /papers-wip/geometric-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/geometric-paths.pdf -------------------------------------------------------------------------------- /papers-wip/glubical-permutations.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/glubical-permutations.odt -------------------------------------------------------------------------------- /papers-wip/glubical-permutations.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/glubical-permutations.pdf -------------------------------------------------------------------------------- /papers-wip/goals-of-path-semantics.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/goals-of-path-semantics.odt -------------------------------------------------------------------------------- /papers-wip/goals-of-path-semantics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/goals-of-path-semantics.pdf -------------------------------------------------------------------------------- /papers-wip/golden-measure.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/golden-measure.odt -------------------------------------------------------------------------------- /papers-wip/golden-measure.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/golden-measure.pdf -------------------------------------------------------------------------------- /papers-wip/hamming-n-sphere.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/hamming-n-sphere.odt -------------------------------------------------------------------------------- /papers-wip/hamming-n-sphere.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/hamming-n-sphere.pdf -------------------------------------------------------------------------------- /papers-wip/havox-diagrams.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/havox-diagrams.odt -------------------------------------------------------------------------------- /papers-wip/havox-diagrams.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/havox-diagrams.pdf -------------------------------------------------------------------------------- /papers-wip/higher-kinded-embodiments.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/higher-kinded-embodiments.odt -------------------------------------------------------------------------------- /papers-wip/higher-kinded-embodiments.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/higher-kinded-embodiments.pdf -------------------------------------------------------------------------------- /papers-wip/higher-order-non-determinism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/higher-order-non-determinism.odt -------------------------------------------------------------------------------- /papers-wip/higher-order-non-determinism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/higher-order-non-determinism.pdf -------------------------------------------------------------------------------- /papers-wip/homotopy-physics.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/homotopy-physics.odt -------------------------------------------------------------------------------- /papers-wip/homotopy-physics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/homotopy-physics.pdf -------------------------------------------------------------------------------- /papers-wip/homotopy-sub-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/homotopy-sub-types.odt -------------------------------------------------------------------------------- /papers-wip/homotopy-sub-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/homotopy-sub-types.pdf -------------------------------------------------------------------------------- /papers-wip/hyperreal-progression-circle.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/hyperreal-progression-circle.odt -------------------------------------------------------------------------------- /papers-wip/hyperreal-progression-circle.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/hyperreal-progression-circle.pdf -------------------------------------------------------------------------------- /papers-wip/imaginary-adjoint-operators.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/imaginary-adjoint-operators.odt -------------------------------------------------------------------------------- /papers-wip/imaginary-adjoint-operators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/imaginary-adjoint-operators.pdf -------------------------------------------------------------------------------- /papers-wip/imaginary-inverse.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/imaginary-inverse.odt -------------------------------------------------------------------------------- /papers-wip/imaginary-inverse.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/imaginary-inverse.pdf -------------------------------------------------------------------------------- /papers-wip/implication-house.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/implication-house.odt -------------------------------------------------------------------------------- /papers-wip/implication-house.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/implication-house.pdf -------------------------------------------------------------------------------- /papers-wip/implication-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/implication-theorem.odt -------------------------------------------------------------------------------- /papers-wip/implication-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/implication-theorem.pdf -------------------------------------------------------------------------------- /papers-wip/implicit-theorems.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/implicit-theorems.odt -------------------------------------------------------------------------------- /papers-wip/implicit-theorems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/implicit-theorems.pdf -------------------------------------------------------------------------------- /papers-wip/incomplete-proof-search.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/incomplete-proof-search.odt -------------------------------------------------------------------------------- /papers-wip/incomplete-proof-search.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/incomplete-proof-search.pdf -------------------------------------------------------------------------------- /papers-wip/index-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/index-theorem.odt -------------------------------------------------------------------------------- /papers-wip/index-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/index-theorem.pdf -------------------------------------------------------------------------------- /papers-wip/infibin.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/infibin.odt -------------------------------------------------------------------------------- /papers-wip/infibin.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/infibin.pdf -------------------------------------------------------------------------------- /papers-wip/infinite-complete-binary-trees.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/infinite-complete-binary-trees.odt -------------------------------------------------------------------------------- /papers-wip/infinite-complete-binary-trees.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/infinite-complete-binary-trees.pdf -------------------------------------------------------------------------------- /papers-wip/infinitesimal-utility.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/infinitesimal-utility.odt -------------------------------------------------------------------------------- /papers-wip/infinitesimal-utility.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/infinitesimal-utility.pdf -------------------------------------------------------------------------------- /papers-wip/informal-theorem-proving.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/informal-theorem-proving.odt -------------------------------------------------------------------------------- /papers-wip/informal-theorem-proving.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/informal-theorem-proving.pdf -------------------------------------------------------------------------------- /papers-wip/information-optimal-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/information-optimal-functions.odt -------------------------------------------------------------------------------- /papers-wip/information-optimal-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/information-optimal-functions.pdf -------------------------------------------------------------------------------- /papers-wip/integral-of-dual-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/integral-of-dual-functions.odt -------------------------------------------------------------------------------- /papers-wip/integral-of-dual-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/integral-of-dual-functions.pdf -------------------------------------------------------------------------------- /papers-wip/integral-of-polynomial-product.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/integral-of-polynomial-product.odt -------------------------------------------------------------------------------- /papers-wip/intentional-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/intentional-paths.odt -------------------------------------------------------------------------------- /papers-wip/intentional-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/intentional-paths.pdf -------------------------------------------------------------------------------- /papers-wip/interior-vs-exterior.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/interior-vs-exterior.odt -------------------------------------------------------------------------------- /papers-wip/interior-vs-exterior.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/interior-vs-exterior.pdf -------------------------------------------------------------------------------- /papers-wip/inverse-theorems.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/inverse-theorems.odt -------------------------------------------------------------------------------- /papers-wip/inverse-theorems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/inverse-theorems.pdf -------------------------------------------------------------------------------- /papers-wip/lambda-notation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/lambda-notation.odt -------------------------------------------------------------------------------- /papers-wip/lambda-notation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/lambda-notation.pdf -------------------------------------------------------------------------------- /papers-wip/law-of-sub-type-extension.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/law-of-sub-type-extension.odt -------------------------------------------------------------------------------- /papers-wip/law-of-sub-type-extension.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/law-of-sub-type-extension.pdf -------------------------------------------------------------------------------- /papers-wip/least-surprised-algorithm.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/least-surprised-algorithm.odt -------------------------------------------------------------------------------- /papers-wip/least-surprised-algorithm.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/least-surprised-algorithm.pdf -------------------------------------------------------------------------------- /papers-wip/lifted-associations.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/lifted-associations.odt -------------------------------------------------------------------------------- /papers-wip/lifted-associations.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/lifted-associations.pdf -------------------------------------------------------------------------------- /papers-wip/listing-mobius-shifts.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/listing-mobius-shifts.odt -------------------------------------------------------------------------------- /papers-wip/listing-mobius-shifts.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/listing-mobius-shifts.pdf -------------------------------------------------------------------------------- /papers-wip/local-optimal-safety-theory.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/local-optimal-safety-theory.odt -------------------------------------------------------------------------------- /papers-wip/local-optimal-safety-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/local-optimal-safety-theory.pdf -------------------------------------------------------------------------------- /papers-wip/matrix-tangent-space.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/matrix-tangent-space.odt -------------------------------------------------------------------------------- /papers-wip/matrix-tangent-space.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/matrix-tangent-space.pdf -------------------------------------------------------------------------------- /papers-wip/merging-of-path-generators.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/merging-of-path-generators.odt -------------------------------------------------------------------------------- /papers-wip/merging-of-path-generators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/merging-of-path-generators.pdf -------------------------------------------------------------------------------- /papers-wip/missing-assumption-search.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/missing-assumption-search.odt -------------------------------------------------------------------------------- /papers-wip/missing-assumption-search.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/missing-assumption-search.pdf -------------------------------------------------------------------------------- /papers-wip/modal-logic-of-equivalences.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modal-logic-of-equivalences.odt -------------------------------------------------------------------------------- /papers-wip/modal-logic-of-equivalences.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modal-logic-of-equivalences.pdf -------------------------------------------------------------------------------- /papers-wip/modal-logic-of-observations.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modal-logic-of-observations.odt -------------------------------------------------------------------------------- /papers-wip/modal-logic-of-observations.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modal-logic-of-observations.pdf -------------------------------------------------------------------------------- /papers-wip/modeling-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modeling-functions.odt -------------------------------------------------------------------------------- /papers-wip/modeling-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modeling-functions.pdf -------------------------------------------------------------------------------- /papers-wip/modification-theory.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modification-theory.odt -------------------------------------------------------------------------------- /papers-wip/modification-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/modification-theory.pdf -------------------------------------------------------------------------------- /papers-wip/monotonic-integral-transform.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/monotonic-integral-transform.odt -------------------------------------------------------------------------------- /papers-wip/monotonic-integral-transform.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/monotonic-integral-transform.pdf -------------------------------------------------------------------------------- /papers-wip/moral-agency.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/moral-agency.odt -------------------------------------------------------------------------------- /papers-wip/moral-agency.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/moral-agency.pdf -------------------------------------------------------------------------------- /papers-wip/more-about-witness-duality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/more-about-witness-duality.odt -------------------------------------------------------------------------------- /papers-wip/more-about-witness-duality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/more-about-witness-duality.pdf -------------------------------------------------------------------------------- /papers-wip/naive-zen-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/naive-zen-logic.odt -------------------------------------------------------------------------------- /papers-wip/naive-zen-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/naive-zen-logic.pdf -------------------------------------------------------------------------------- /papers-wip/natural-continuous-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-continuous-paths.odt -------------------------------------------------------------------------------- /papers-wip/natural-continuous-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-continuous-paths.pdf -------------------------------------------------------------------------------- /papers-wip/natural-equality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-equality.odt -------------------------------------------------------------------------------- /papers-wip/natural-equality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-equality.pdf -------------------------------------------------------------------------------- /papers-wip/natural-frequency.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-frequency.odt -------------------------------------------------------------------------------- /papers-wip/natural-frequency.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-frequency.pdf -------------------------------------------------------------------------------- /papers-wip/natural-goal-uncertainty.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-goal-uncertainty.odt -------------------------------------------------------------------------------- /papers-wip/natural-goal-uncertainty.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-goal-uncertainty.pdf -------------------------------------------------------------------------------- /papers-wip/natural-implication.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-implication.odt -------------------------------------------------------------------------------- /papers-wip/natural-implication.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-implication.pdf -------------------------------------------------------------------------------- /papers-wip/natural-likely.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-likely.odt -------------------------------------------------------------------------------- /papers-wip/natural-likely.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-likely.pdf -------------------------------------------------------------------------------- /papers-wip/natural-number-fuzzing.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-number-fuzzing.odt -------------------------------------------------------------------------------- /papers-wip/natural-number-fuzzing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-number-fuzzing.pdf -------------------------------------------------------------------------------- /papers-wip/natural-one-avatar.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-one-avatar.odt -------------------------------------------------------------------------------- /papers-wip/natural-one-avatar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/natural-one-avatar.pdf -------------------------------------------------------------------------------- /papers-wip/negative-association-error.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/negative-association-error.odt -------------------------------------------------------------------------------- /papers-wip/negative-association-error.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/negative-association-error.pdf -------------------------------------------------------------------------------- /papers-wip/negative-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/negative-types.odt -------------------------------------------------------------------------------- /papers-wip/negative-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/negative-types.pdf -------------------------------------------------------------------------------- /papers-wip/non-composition-of-xor-trick.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/non-composition-of-xor-trick.odt -------------------------------------------------------------------------------- /papers-wip/non-composition-of-xor-trick.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/non-composition-of-xor-trick.pdf -------------------------------------------------------------------------------- /papers-wip/noncontractible-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/noncontractible-types.odt -------------------------------------------------------------------------------- /papers-wip/noncontractible-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/noncontractible-types.pdf -------------------------------------------------------------------------------- /papers-wip/normal-path-diagram-of-and.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-path-diagram-of-and.odt -------------------------------------------------------------------------------- /papers-wip/normal-path-diagram-of-and.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-path-diagram-of-and.pdf -------------------------------------------------------------------------------- /papers-wip/normal-path-diagrams.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-path-diagrams.odt -------------------------------------------------------------------------------- /papers-wip/normal-path-diagrams.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-path-diagrams.pdf -------------------------------------------------------------------------------- /papers-wip/normal-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-paths.odt -------------------------------------------------------------------------------- /papers-wip/normal-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-paths.pdf -------------------------------------------------------------------------------- /papers-wip/normal-re-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-re-paths.odt -------------------------------------------------------------------------------- /papers-wip/normal-re-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/normal-re-paths.pdf -------------------------------------------------------------------------------- /papers-wip/obscure-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/obscure-functions.odt -------------------------------------------------------------------------------- /papers-wip/obscure-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/obscure-functions.pdf -------------------------------------------------------------------------------- /papers-wip/one-dimensional-real-wave.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/one-dimensional-real-wave.odt -------------------------------------------------------------------------------- /papers-wip/one-dimensional-real-wave.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/one-dimensional-real-wave.pdf -------------------------------------------------------------------------------- /papers-wip/optimal-utility-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/optimal-utility-paths.odt -------------------------------------------------------------------------------- /papers-wip/optimal-utility-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/optimal-utility-paths.pdf -------------------------------------------------------------------------------- /papers-wip/order-free-non-determinism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/order-free-non-determinism.odt -------------------------------------------------------------------------------- /papers-wip/order-free-non-determinism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/order-free-non-determinism.pdf -------------------------------------------------------------------------------- /papers-wip/ordered-swaps.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/ordered-swaps.odt -------------------------------------------------------------------------------- /papers-wip/ordered-swaps.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/ordered-swaps.pdf -------------------------------------------------------------------------------- /papers-wip/partial-diversity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/partial-diversity.odt -------------------------------------------------------------------------------- /papers-wip/partial-diversity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/partial-diversity.pdf -------------------------------------------------------------------------------- /papers-wip/partial-observations.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/partial-observations.odt -------------------------------------------------------------------------------- /papers-wip/partial-observations.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/partial-observations.pdf -------------------------------------------------------------------------------- /papers-wip/path-function-existence.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-function-existence.odt -------------------------------------------------------------------------------- /papers-wip/path-function-existence.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-function-existence.pdf -------------------------------------------------------------------------------- /papers-wip/path-operators.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-operators.odt -------------------------------------------------------------------------------- /papers-wip/path-operators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-operators.pdf -------------------------------------------------------------------------------- /papers-wip/path-semantics-cheat-sheet.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-semantics-cheat-sheet.odt -------------------------------------------------------------------------------- /papers-wip/path-semantics-cheat-sheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-semantics-cheat-sheet.pdf -------------------------------------------------------------------------------- /papers-wip/path-semantics.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-semantics.odt -------------------------------------------------------------------------------- /papers-wip/path-semantics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-semantics.pdf -------------------------------------------------------------------------------- /papers-wip/path-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-sets.odt -------------------------------------------------------------------------------- /papers-wip/path-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-sets.pdf -------------------------------------------------------------------------------- /papers-wip/path-types-in-tree-proofs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-types-in-tree-proofs.odt -------------------------------------------------------------------------------- /papers-wip/path-types-in-tree-proofs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/path-types-in-tree-proofs.pdf -------------------------------------------------------------------------------- /papers-wip/paths-as-making-predictions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/paths-as-making-predictions.odt -------------------------------------------------------------------------------- /papers-wip/paths-as-making-predictions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/paths-as-making-predictions.pdf -------------------------------------------------------------------------------- /papers-wip/perfect-physical-predictors.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/perfect-physical-predictors.odt -------------------------------------------------------------------------------- /papers-wip/perfect-physical-predictors.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/perfect-physical-predictors.pdf -------------------------------------------------------------------------------- /papers-wip/perfect-prime-predictors.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/perfect-prime-predictors.odt -------------------------------------------------------------------------------- /papers-wip/perfect-prime-predictors.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/perfect-prime-predictors.pdf -------------------------------------------------------------------------------- /papers-wip/permutation-intersections.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutation-intersections.odt -------------------------------------------------------------------------------- /papers-wip/permutation-intersections.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutation-intersections.pdf -------------------------------------------------------------------------------- /papers-wip/permutation-inverse.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutation-inverse.odt -------------------------------------------------------------------------------- /papers-wip/permutation-inverse.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutation-inverse.pdf -------------------------------------------------------------------------------- /papers-wip/permutations-as-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutations-as-functions.odt -------------------------------------------------------------------------------- /papers-wip/permutations-as-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutations-as-functions.pdf -------------------------------------------------------------------------------- /papers-wip/permutative-abacaba-vector.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-abacaba-vector.odt -------------------------------------------------------------------------------- /papers-wip/permutative-abacaba-vector.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-abacaba-vector.pdf -------------------------------------------------------------------------------- /papers-wip/permutative-binary-numbers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-binary-numbers.odt -------------------------------------------------------------------------------- /papers-wip/permutative-binary-numbers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-binary-numbers.pdf -------------------------------------------------------------------------------- /papers-wip/permutative-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-functions.odt -------------------------------------------------------------------------------- /papers-wip/permutative-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-functions.pdf -------------------------------------------------------------------------------- /papers-wip/permutative-symmetry-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-symmetry-paths.odt -------------------------------------------------------------------------------- /papers-wip/permutative-symmetry-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/permutative-symmetry-paths.pdf -------------------------------------------------------------------------------- /papers-wip/philosophy-of-the-core-axiom.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/philosophy-of-the-core-axiom.odt -------------------------------------------------------------------------------- /papers-wip/philosophy-of-the-core-axiom.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/philosophy-of-the-core-axiom.pdf -------------------------------------------------------------------------------- /papers-wip/probabilistic-liars-paradox.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-liars-paradox.odt -------------------------------------------------------------------------------- /papers-wip/probabilistic-liars-paradox.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-liars-paradox.pdf -------------------------------------------------------------------------------- /papers-wip/probabilistic-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-paths.odt -------------------------------------------------------------------------------- /papers-wip/probabilistic-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-paths.pdf -------------------------------------------------------------------------------- /papers-wip/probabilistic-preferences.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-preferences.odt -------------------------------------------------------------------------------- /papers-wip/probabilistic-preferences.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-preferences.pdf -------------------------------------------------------------------------------- /papers-wip/probabilistic-sub-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-sub-types.odt -------------------------------------------------------------------------------- /papers-wip/probabilistic-sub-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/probabilistic-sub-types.pdf -------------------------------------------------------------------------------- /papers-wip/proof-of-equivalence.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/proof-of-equivalence.odt -------------------------------------------------------------------------------- /papers-wip/proof-of-equivalence.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/proof-of-equivalence.pdf -------------------------------------------------------------------------------- /papers-wip/proof-of-exclusiveness.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/proof-of-exclusiveness.odt -------------------------------------------------------------------------------- /papers-wip/proof-of-exclusiveness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/proof-of-exclusiveness.pdf -------------------------------------------------------------------------------- /papers-wip/proof-systems-as-grammars.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/proof-systems-as-grammars.odt -------------------------------------------------------------------------------- /papers-wip/proof-systems-as-grammars.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/proof-systems-as-grammars.pdf -------------------------------------------------------------------------------- /papers-wip/propositional-argument-order.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/propositional-argument-order.odt -------------------------------------------------------------------------------- /papers-wip/propositional-argument-order.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/propositional-argument-order.pdf -------------------------------------------------------------------------------- /papers-wip/quantum-andor-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-andor-functions.odt -------------------------------------------------------------------------------- /papers-wip/quantum-andor-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-andor-functions.pdf -------------------------------------------------------------------------------- /papers-wip/quantum-information-flux.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-information-flux.odt -------------------------------------------------------------------------------- /papers-wip/quantum-information-flux.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-information-flux.pdf -------------------------------------------------------------------------------- /papers-wip/quantum-knight-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-knight-functions.odt -------------------------------------------------------------------------------- /papers-wip/quantum-knight-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-knight-functions.pdf -------------------------------------------------------------------------------- /papers-wip/quantum-lift.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-lift.odt -------------------------------------------------------------------------------- /papers-wip/quantum-lift.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-lift.pdf -------------------------------------------------------------------------------- /papers-wip/quantum-non-determinism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-non-determinism.odt -------------------------------------------------------------------------------- /papers-wip/quantum-non-determinism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-non-determinism.pdf -------------------------------------------------------------------------------- /papers-wip/quantum-propagation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-propagation.odt -------------------------------------------------------------------------------- /papers-wip/quantum-propagation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/quantum-propagation.pdf -------------------------------------------------------------------------------- /papers-wip/randomary-numbers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/randomary-numbers.odt -------------------------------------------------------------------------------- /papers-wip/randomary-numbers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/randomary-numbers.pdf -------------------------------------------------------------------------------- /papers-wip/rational-curiosity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rational-curiosity.odt -------------------------------------------------------------------------------- /papers-wip/rational-curiosity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rational-curiosity.pdf -------------------------------------------------------------------------------- /papers-wip/rational-natural-morality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rational-natural-morality.odt -------------------------------------------------------------------------------- /papers-wip/rational-natural-morality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rational-natural-morality.pdf -------------------------------------------------------------------------------- /papers-wip/recursive-booleans.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/recursive-booleans.odt -------------------------------------------------------------------------------- /papers-wip/recursive-booleans.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/recursive-booleans.pdf -------------------------------------------------------------------------------- /papers-wip/rewriting-and-the-core-axiom.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rewriting-and-the-core-axiom.odt -------------------------------------------------------------------------------- /papers-wip/rewriting-and-the-core-axiom.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rewriting-and-the-core-axiom.pdf -------------------------------------------------------------------------------- /papers-wip/role-lists.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/role-lists.odt -------------------------------------------------------------------------------- /papers-wip/role-lists.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/role-lists.pdf -------------------------------------------------------------------------------- /papers-wip/rooted-full-binary-trees.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rooted-full-binary-trees.odt -------------------------------------------------------------------------------- /papers-wip/rooted-full-binary-trees.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/rooted-full-binary-trees.pdf -------------------------------------------------------------------------------- /papers-wip/segmented-time.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/segmented-time.odt -------------------------------------------------------------------------------- /papers-wip/segmented-time.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/segmented-time.pdf -------------------------------------------------------------------------------- /papers-wip/self-rationality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/self-rationality.odt -------------------------------------------------------------------------------- /papers-wip/self-rationality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/self-rationality.pdf -------------------------------------------------------------------------------- /papers-wip/semantics-of-points.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/semantics-of-points.odt -------------------------------------------------------------------------------- /papers-wip/semantics-of-points.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/semantics-of-points.pdf -------------------------------------------------------------------------------- /papers-wip/semi-quantum-non-determinism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/semi-quantum-non-determinism.odt -------------------------------------------------------------------------------- /papers-wip/semi-quantum-non-determinism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/semi-quantum-non-determinism.pdf -------------------------------------------------------------------------------- /papers-wip/semi-tally-numerical-system.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/semi-tally-numerical-system.odt -------------------------------------------------------------------------------- /papers-wip/semi-tally-numerical-system.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/semi-tally-numerical-system.pdf -------------------------------------------------------------------------------- /papers-wip/serebin-path-tree.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/serebin-path-tree.odt -------------------------------------------------------------------------------- /papers-wip/serebin-path-tree.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/serebin-path-tree.pdf -------------------------------------------------------------------------------- /papers-wip/signed-dual-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/signed-dual-paths.odt -------------------------------------------------------------------------------- /papers-wip/signed-dual-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/signed-dual-paths.pdf -------------------------------------------------------------------------------- /papers-wip/simple-structure-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/simple-structure-logic.odt -------------------------------------------------------------------------------- /papers-wip/simple-structure-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/simple-structure-logic.pdf -------------------------------------------------------------------------------- /papers-wip/single-bit-languages.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/single-bit-languages.odt -------------------------------------------------------------------------------- /papers-wip/single-bit-languages.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/single-bit-languages.pdf -------------------------------------------------------------------------------- /papers-wip/sized-type-theory.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/sized-type-theory.odt -------------------------------------------------------------------------------- /papers-wip/sized-type-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/sized-type-theory.pdf -------------------------------------------------------------------------------- /papers-wip/slot-lambda-calculus.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/slot-lambda-calculus.odt -------------------------------------------------------------------------------- /papers-wip/slot-lambda-calculus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/slot-lambda-calculus.pdf -------------------------------------------------------------------------------- /papers-wip/space-jumping-example.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/space-jumping-example.odt -------------------------------------------------------------------------------- /papers-wip/space-jumping-example.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/space-jumping-example.pdf -------------------------------------------------------------------------------- /papers-wip/spatial-sum-functions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/spatial-sum-functions.odt -------------------------------------------------------------------------------- /papers-wip/spatial-sum-functions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/spatial-sum-functions.pdf -------------------------------------------------------------------------------- /papers-wip/split-adjoint-operators.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/split-adjoint-operators.odt -------------------------------------------------------------------------------- /papers-wip/split-adjoint-operators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/split-adjoint-operators.pdf -------------------------------------------------------------------------------- /papers-wip/stair-pairs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/stair-pairs.odt -------------------------------------------------------------------------------- /papers-wip/stair-pairs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/stair-pairs.pdf -------------------------------------------------------------------------------- /papers-wip/sub-permutation-grammar.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/sub-permutation-grammar.odt -------------------------------------------------------------------------------- /papers-wip/sub-permutation-grammar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/sub-permutation-grammar.pdf -------------------------------------------------------------------------------- /papers-wip/sub-type-aliasing.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/sub-type-aliasing.odt -------------------------------------------------------------------------------- /papers-wip/sub-type-aliasing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/sub-type-aliasing.pdf -------------------------------------------------------------------------------- /papers-wip/subset-sentences.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/subset-sentences.odt -------------------------------------------------------------------------------- /papers-wip/subset-sentences.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/subset-sentences.pdf -------------------------------------------------------------------------------- /papers-wip/swap-contract-graphs.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/swap-contract-graphs.odt -------------------------------------------------------------------------------- /papers-wip/swap-contract-graphs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/swap-contract-graphs.pdf -------------------------------------------------------------------------------- /papers-wip/swaps-of-swaps-grammar.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/swaps-of-swaps-grammar.odt -------------------------------------------------------------------------------- /papers-wip/swaps-of-swaps-grammar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/swaps-of-swaps-grammar.pdf -------------------------------------------------------------------------------- /papers-wip/symbol-for-mathematics.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symbol-for-mathematics.odt -------------------------------------------------------------------------------- /papers-wip/symbol-for-mathematics.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symbol-for-mathematics.pdf -------------------------------------------------------------------------------- /papers-wip/symmetric-avatar-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symmetric-avatar-paths.odt -------------------------------------------------------------------------------- /papers-wip/symmetric-avatar-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symmetric-avatar-paths.pdf -------------------------------------------------------------------------------- /papers-wip/symmetric-paths-of-matrices.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symmetric-paths-of-matrices.odt -------------------------------------------------------------------------------- /papers-wip/symmetric-paths-of-matrices.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symmetric-paths-of-matrices.pdf -------------------------------------------------------------------------------- /papers-wip/symmetry-forcing.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symmetry-forcing.odt -------------------------------------------------------------------------------- /papers-wip/symmetry-forcing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/symmetry-forcing.pdf -------------------------------------------------------------------------------- /papers-wip/the-bits-function-family.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-bits-function-family.odt -------------------------------------------------------------------------------- /papers-wip/the-bits-function-family.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-bits-function-family.pdf -------------------------------------------------------------------------------- /papers-wip/the-cursed-diamond-problem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-cursed-diamond-problem.odt -------------------------------------------------------------------------------- /papers-wip/the-cursed-diamond-problem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-cursed-diamond-problem.pdf -------------------------------------------------------------------------------- /papers-wip/the-empty-space-of-mind.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-empty-space-of-mind.odt -------------------------------------------------------------------------------- /papers-wip/the-empty-space-of-mind.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-empty-space-of-mind.pdf -------------------------------------------------------------------------------- /papers-wip/the-healthy-eating-problem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-healthy-eating-problem.odt -------------------------------------------------------------------------------- /papers-wip/the-healthy-eating-problem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-healthy-eating-problem.pdf -------------------------------------------------------------------------------- /papers-wip/the-id-unit-function.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-id-unit-function.odt -------------------------------------------------------------------------------- /papers-wip/the-id-unit-function.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-id-unit-function.pdf -------------------------------------------------------------------------------- /papers-wip/the-meaning-of-consistency.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-meaning-of-consistency.odt -------------------------------------------------------------------------------- /papers-wip/the-meaning-of-consistency.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-meaning-of-consistency.pdf -------------------------------------------------------------------------------- /papers-wip/the-polite-zen-robot.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-polite-zen-robot.odt -------------------------------------------------------------------------------- /papers-wip/the-polite-zen-robot.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-polite-zen-robot.pdf -------------------------------------------------------------------------------- /papers-wip/the-two-language-hypothesis.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-two-language-hypothesis.odt -------------------------------------------------------------------------------- /papers-wip/the-two-language-hypothesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-two-language-hypothesis.pdf -------------------------------------------------------------------------------- /papers-wip/the-zen-robot-oracle-problem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-zen-robot-oracle-problem.odt -------------------------------------------------------------------------------- /papers-wip/the-zen-robot-oracle-problem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/the-zen-robot-oracle-problem.pdf -------------------------------------------------------------------------------- /papers-wip/theorem-prover-combinators.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/theorem-prover-combinators.odt -------------------------------------------------------------------------------- /papers-wip/theorem-prover-combinators.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/theorem-prover-combinators.pdf -------------------------------------------------------------------------------- /papers-wip/time-travel-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/time-travel-logic.odt -------------------------------------------------------------------------------- /papers-wip/time-travel-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/time-travel-logic.pdf -------------------------------------------------------------------------------- /papers-wip/transitive-existential-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/transitive-existential-paths.odt -------------------------------------------------------------------------------- /papers-wip/transitive-existential-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/transitive-existential-paths.pdf -------------------------------------------------------------------------------- /papers-wip/trivial-commutative-symmetry.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/trivial-commutative-symmetry.odt -------------------------------------------------------------------------------- /papers-wip/trivial-commutative-symmetry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/trivial-commutative-symmetry.pdf -------------------------------------------------------------------------------- /papers-wip/truth-values-of-sub-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/truth-values-of-sub-types.odt -------------------------------------------------------------------------------- /papers-wip/truth-values-of-sub-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/truth-values-of-sub-types.pdf -------------------------------------------------------------------------------- /papers-wip/unary-embedding-termination.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/unary-embedding-termination.odt -------------------------------------------------------------------------------- /papers-wip/unary-embedding-termination.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/unary-embedding-termination.pdf -------------------------------------------------------------------------------- /papers-wip/uncertain-identity-modality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/uncertain-identity-modality.odt -------------------------------------------------------------------------------- /papers-wip/uncertain-identity-modality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/uncertain-identity-modality.pdf -------------------------------------------------------------------------------- /papers-wip/undecidable-infinitesimals.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/undecidable-infinitesimals.odt -------------------------------------------------------------------------------- /papers-wip/undecidable-infinitesimals.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/undecidable-infinitesimals.pdf -------------------------------------------------------------------------------- /papers-wip/undefined-symbols.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/undefined-symbols.odt -------------------------------------------------------------------------------- /papers-wip/undefined-symbols.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/undefined-symbols.pdf -------------------------------------------------------------------------------- /papers-wip/uniform-properties-of-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/uniform-properties-of-sets.odt -------------------------------------------------------------------------------- /papers-wip/uniform-properties-of-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/uniform-properties-of-sets.pdf -------------------------------------------------------------------------------- /papers-wip/union-of-existential-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/union-of-existential-paths.odt -------------------------------------------------------------------------------- /papers-wip/union-of-existential-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/union-of-existential-paths.pdf -------------------------------------------------------------------------------- /papers-wip/unit-interval-focus.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/unit-interval-focus.odt -------------------------------------------------------------------------------- /papers-wip/unit-interval-focus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/unit-interval-focus.pdf -------------------------------------------------------------------------------- /papers-wip/unitary-symmetric-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/unitary-symmetric-paths.odt -------------------------------------------------------------------------------- /papers-wip/unitary-symmetric-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/unitary-symmetric-paths.pdf -------------------------------------------------------------------------------- /papers-wip/universal-existential-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/universal-existential-paths.odt -------------------------------------------------------------------------------- /papers-wip/universal-existential-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/universal-existential-paths.pdf -------------------------------------------------------------------------------- /papers-wip/variables-as-path.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/variables-as-path.odt -------------------------------------------------------------------------------- /papers-wip/variables-as-path.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/variables-as-path.pdf -------------------------------------------------------------------------------- /papers-wip/wildcard-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/wildcard-sets.odt -------------------------------------------------------------------------------- /papers-wip/wildcard-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/wildcard-sets.pdf -------------------------------------------------------------------------------- /papers-wip/witness-duality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/witness-duality.odt -------------------------------------------------------------------------------- /papers-wip/witness-duality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/witness-duality.pdf -------------------------------------------------------------------------------- /papers-wip/zen-rational-paradox-game.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/zen-rational-paradox-game.odt -------------------------------------------------------------------------------- /papers-wip/zen-rational-paradox-game.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/zen-rational-paradox-game.pdf -------------------------------------------------------------------------------- /papers-wip/zen-rationality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/zen-rationality.odt -------------------------------------------------------------------------------- /papers-wip/zen-rationality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip/zen-rationality.pdf -------------------------------------------------------------------------------- /papers-wip2/3-ary-collatz-grammar.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/3-ary-collatz-grammar.odt -------------------------------------------------------------------------------- /papers-wip2/3-ary-collatz-grammar.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/3-ary-collatz-grammar.pdf -------------------------------------------------------------------------------- /papers-wip2/abstract-corruption.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/abstract-corruption.odt -------------------------------------------------------------------------------- /papers-wip2/abstract-corruption.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/abstract-corruption.pdf -------------------------------------------------------------------------------- /papers-wip2/agnostic-language-bias.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/agnostic-language-bias.odt -------------------------------------------------------------------------------- /papers-wip2/agnostic-language-bias.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/agnostic-language-bias.pdf -------------------------------------------------------------------------------- /papers-wip2/algexenotation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/algexenotation.odt -------------------------------------------------------------------------------- /papers-wip2/algexenotation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/algexenotation.pdf -------------------------------------------------------------------------------- /papers-wip2/anti-nominalism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/anti-nominalism.odt -------------------------------------------------------------------------------- /papers-wip2/anti-nominalism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/anti-nominalism.pdf -------------------------------------------------------------------------------- /papers-wip2/applied-category-of-sets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/applied-category-of-sets.odt -------------------------------------------------------------------------------- /papers-wip2/applied-category-of-sets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/applied-category-of-sets.pdf -------------------------------------------------------------------------------- /papers-wip2/avatar-hypergraph-rewriting.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-hypergraph-rewriting.odt -------------------------------------------------------------------------------- /papers-wip2/avatar-hypergraph-rewriting.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-hypergraph-rewriting.pdf -------------------------------------------------------------------------------- /papers-wip2/avatar-idempotency.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-idempotency.odt -------------------------------------------------------------------------------- /papers-wip2/avatar-idempotency.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-idempotency.pdf -------------------------------------------------------------------------------- /papers-wip2/avatar-logic-to-set-theory.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-logic-to-set-theory.odt -------------------------------------------------------------------------------- /papers-wip2/avatar-logic-to-set-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-logic-to-set-theory.pdf -------------------------------------------------------------------------------- /papers-wip2/avatar-tables.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-tables.odt -------------------------------------------------------------------------------- /papers-wip2/avatar-tables.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-tables.pdf -------------------------------------------------------------------------------- /papers-wip2/avatar-univalence.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-univalence.odt -------------------------------------------------------------------------------- /papers-wip2/avatar-univalence.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-univalence.pdf -------------------------------------------------------------------------------- /papers-wip2/avatar-zen-ladders.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-zen-ladders.odt -------------------------------------------------------------------------------- /papers-wip2/avatar-zen-ladders.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatar-zen-ladders.pdf -------------------------------------------------------------------------------- /papers-wip2/avatars-in-the-holy-trinity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatars-in-the-holy-trinity.odt -------------------------------------------------------------------------------- /papers-wip2/avatars-in-the-holy-trinity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/avatars-in-the-holy-trinity.pdf -------------------------------------------------------------------------------- /papers-wip2/binary-lebesgue-measures.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/binary-lebesgue-measures.odt -------------------------------------------------------------------------------- /papers-wip2/binary-lebesgue-measures.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/binary-lebesgue-measures.pdf -------------------------------------------------------------------------------- /papers-wip2/catuskoti-existential-lift.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/catuskoti-existential-lift.odt -------------------------------------------------------------------------------- /papers-wip2/catuskoti-existential-lift.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/catuskoti-existential-lift.pdf -------------------------------------------------------------------------------- /papers-wip2/centered-western-philosophy.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/centered-western-philosophy.odt -------------------------------------------------------------------------------- /papers-wip2/centered-western-philosophy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/centered-western-philosophy.pdf -------------------------------------------------------------------------------- /papers-wip2/cogito-cross-equality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/cogito-cross-equality.odt -------------------------------------------------------------------------------- /papers-wip2/cogito-cross-equality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/cogito-cross-equality.pdf -------------------------------------------------------------------------------- /papers-wip2/combinatorial-archenumbers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/combinatorial-archenumbers.odt -------------------------------------------------------------------------------- /papers-wip2/combinatorial-archenumbers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/combinatorial-archenumbers.pdf -------------------------------------------------------------------------------- /papers-wip2/communicated-concreteness.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/communicated-concreteness.odt -------------------------------------------------------------------------------- /papers-wip2/communicated-concreteness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/communicated-concreteness.pdf -------------------------------------------------------------------------------- /papers-wip2/conversations-with-gpt-3.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/conversations-with-gpt-3.odt -------------------------------------------------------------------------------- /papers-wip2/conversations-with-gpt-3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/conversations-with-gpt-3.pdf -------------------------------------------------------------------------------- /papers-wip2/creation-theorem.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/creation-theorem.odt -------------------------------------------------------------------------------- /papers-wip2/creation-theorem.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/creation-theorem.pdf -------------------------------------------------------------------------------- /papers-wip2/cube-of-elementary-systems.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/cube-of-elementary-systems.odt -------------------------------------------------------------------------------- /papers-wip2/cube-of-elementary-systems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/cube-of-elementary-systems.pdf -------------------------------------------------------------------------------- /papers-wip2/deleuzes-image-of-thought.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/deleuzes-image-of-thought.odt -------------------------------------------------------------------------------- /papers-wip2/deleuzes-image-of-thought.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/deleuzes-image-of-thought.pdf -------------------------------------------------------------------------------- /papers-wip2/dialectical-masks.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/dialectical-masks.odt -------------------------------------------------------------------------------- /papers-wip2/dialectical-masks.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/dialectical-masks.pdf -------------------------------------------------------------------------------- /papers-wip2/discrete-dipole-force.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/discrete-dipole-force.odt -------------------------------------------------------------------------------- /papers-wip2/discrete-dipole-force.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/discrete-dipole-force.pdf -------------------------------------------------------------------------------- /papers-wip2/distinctness-arrow-of-time.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/distinctness-arrow-of-time.odt -------------------------------------------------------------------------------- /papers-wip2/distinctness-arrow-of-time.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/distinctness-arrow-of-time.pdf -------------------------------------------------------------------------------- /papers-wip2/dit-calculus.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/dit-calculus.odt -------------------------------------------------------------------------------- /papers-wip2/dit-calculus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/dit-calculus.pdf -------------------------------------------------------------------------------- /papers-wip2/dual-identity-lift.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/dual-identity-lift.odt -------------------------------------------------------------------------------- /papers-wip2/dual-identity-lift.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/dual-identity-lift.pdf -------------------------------------------------------------------------------- /papers-wip2/eleven-algexenic-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/eleven-algexenic-types.odt -------------------------------------------------------------------------------- /papers-wip2/eleven-algexenic-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/eleven-algexenic-types.pdf -------------------------------------------------------------------------------- /papers-wip2/evaluation-oriented-classes.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/evaluation-oriented-classes.odt -------------------------------------------------------------------------------- /papers-wip2/evaluation-oriented-classes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/evaluation-oriented-classes.pdf -------------------------------------------------------------------------------- /papers-wip2/existential-propositions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/existential-propositions.odt -------------------------------------------------------------------------------- /papers-wip2/existential-propositions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/existential-propositions.pdf -------------------------------------------------------------------------------- /papers-wip2/general-motion.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/general-motion.odt -------------------------------------------------------------------------------- /papers-wip2/general-motion.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/general-motion.pdf -------------------------------------------------------------------------------- /papers-wip2/hierarchy-of-helpfulness.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hierarchy-of-helpfulness.odt -------------------------------------------------------------------------------- /papers-wip2/hierarchy-of-helpfulness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hierarchy-of-helpfulness.pdf -------------------------------------------------------------------------------- /papers-wip2/hilberts-over-filled-hotel.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hilberts-over-filled-hotel.odt -------------------------------------------------------------------------------- /papers-wip2/hilberts-over-filled-hotel.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hilberts-over-filled-hotel.pdf -------------------------------------------------------------------------------- /papers-wip2/homotopy-arithmecy.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/homotopy-arithmecy.odt -------------------------------------------------------------------------------- /papers-wip2/homotopy-arithmecy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/homotopy-arithmecy.pdf -------------------------------------------------------------------------------- /papers-wip2/hyperspherdisdodehedron.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hyperspherdisdodehedron.odt -------------------------------------------------------------------------------- /papers-wip2/hyperspherdisdodehedron.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hyperspherdisdodehedron.pdf -------------------------------------------------------------------------------- /papers-wip2/hypertorus-homotopy.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hypertorus-homotopy.odt -------------------------------------------------------------------------------- /papers-wip2/hypertorus-homotopy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/hypertorus-homotopy.pdf -------------------------------------------------------------------------------- /papers-wip2/implicit-activation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/implicit-activation.odt -------------------------------------------------------------------------------- /papers-wip2/implicit-activation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/implicit-activation.pdf -------------------------------------------------------------------------------- /papers-wip2/introduction-to-psq.odp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/introduction-to-psq.odp -------------------------------------------------------------------------------- /papers-wip2/introduction-to-psq.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/introduction-to-psq.pdf -------------------------------------------------------------------------------- /papers-wip2/joker-calculus.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/joker-calculus.odt -------------------------------------------------------------------------------- /papers-wip2/joker-calculus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/joker-calculus.pdf -------------------------------------------------------------------------------- /papers-wip2/joker-contraction.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/joker-contraction.odt -------------------------------------------------------------------------------- /papers-wip2/joker-contraction.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/joker-contraction.pdf -------------------------------------------------------------------------------- /papers-wip2/joker-incompatibilism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/joker-incompatibilism.odt -------------------------------------------------------------------------------- /papers-wip2/joker-incompatibilism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/joker-incompatibilism.pdf -------------------------------------------------------------------------------- /papers-wip2/last-order-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/last-order-logic.odt -------------------------------------------------------------------------------- /papers-wip2/last-order-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/last-order-logic.pdf -------------------------------------------------------------------------------- /papers-wip2/left-and-right-inverse.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/left-and-right-inverse.odt -------------------------------------------------------------------------------- /papers-wip2/left-and-right-inverse.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/left-and-right-inverse.pdf -------------------------------------------------------------------------------- /papers-wip2/linear-polarized-light.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/linear-polarized-light.odt -------------------------------------------------------------------------------- /papers-wip2/linear-polarized-light.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/linear-polarized-light.pdf -------------------------------------------------------------------------------- /papers-wip2/logi.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/logi.odt -------------------------------------------------------------------------------- /papers-wip2/logi.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/logi.pdf -------------------------------------------------------------------------------- /papers-wip2/logical-being.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/logical-being.odt -------------------------------------------------------------------------------- /papers-wip2/logical-being.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/logical-being.pdf -------------------------------------------------------------------------------- /papers-wip2/logos-and-zoe.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/logos-and-zoe.odt -------------------------------------------------------------------------------- /papers-wip2/logos-and-zoe.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/logos-and-zoe.pdf -------------------------------------------------------------------------------- /papers-wip2/monadic-subsets.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/monadic-subsets.odt -------------------------------------------------------------------------------- /papers-wip2/monadic-subsets.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/monadic-subsets.pdf -------------------------------------------------------------------------------- /papers-wip2/natural-difference-geometry.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-difference-geometry.odt -------------------------------------------------------------------------------- /papers-wip2/natural-difference-geometry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-difference-geometry.pdf -------------------------------------------------------------------------------- /papers-wip2/natural-loneliness.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-loneliness.odt -------------------------------------------------------------------------------- /papers-wip2/natural-loneliness.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-loneliness.pdf -------------------------------------------------------------------------------- /papers-wip2/natural-propositions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-propositions.odt -------------------------------------------------------------------------------- /papers-wip2/natural-propositions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-propositions.pdf -------------------------------------------------------------------------------- /papers-wip2/natural-univalent-calculus.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-univalent-calculus.odt -------------------------------------------------------------------------------- /papers-wip2/natural-univalent-calculus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/natural-univalent-calculus.pdf -------------------------------------------------------------------------------- /papers-wip2/nuobocat.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/nuobocat.odt -------------------------------------------------------------------------------- /papers-wip2/nuobocat.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/nuobocat.pdf -------------------------------------------------------------------------------- /papers-wip2/open-morphisms.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/open-morphisms.odt -------------------------------------------------------------------------------- /papers-wip2/open-morphisms.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/open-morphisms.pdf -------------------------------------------------------------------------------- /papers-wip2/ourobra-tables.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/ourobra-tables.odt -------------------------------------------------------------------------------- /papers-wip2/ourobra-tables.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/ourobra-tables.pdf -------------------------------------------------------------------------------- /papers-wip2/path-semantical-aquality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/path-semantical-aquality.odt -------------------------------------------------------------------------------- /papers-wip2/path-semantical-aquality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/path-semantical-aquality.pdf -------------------------------------------------------------------------------- /papers-wip2/path-semantical-quality.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/path-semantical-quality.odt -------------------------------------------------------------------------------- /papers-wip2/path-semantical-quality.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/path-semantical-quality.pdf -------------------------------------------------------------------------------- /papers-wip2/path-semantical-qubit.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/path-semantical-qubit.odt -------------------------------------------------------------------------------- /papers-wip2/path-semantical-qubit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/path-semantical-qubit.pdf -------------------------------------------------------------------------------- /papers-wip2/perception-prediction.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/perception-prediction.odt -------------------------------------------------------------------------------- /papers-wip2/perception-prediction.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/perception-prediction.pdf -------------------------------------------------------------------------------- /papers-wip2/primbix.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/primbix.odt -------------------------------------------------------------------------------- /papers-wip2/primbix.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/primbix.pdf -------------------------------------------------------------------------------- /papers-wip2/prime-bound.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/prime-bound.odt -------------------------------------------------------------------------------- /papers-wip2/prime-bound.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/prime-bound.pdf -------------------------------------------------------------------------------- /papers-wip2/prime-symmetric-goldbach.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/prime-symmetric-goldbach.odt -------------------------------------------------------------------------------- /papers-wip2/prime-symmetric-goldbach.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/prime-symmetric-goldbach.pdf -------------------------------------------------------------------------------- /papers-wip2/qual-and-qualitative.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/qual-and-qualitative.odt -------------------------------------------------------------------------------- /papers-wip2/qual-and-qualitative.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/qual-and-qualitative.pdf -------------------------------------------------------------------------------- /papers-wip2/qualitative-implication.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/qualitative-implication.odt -------------------------------------------------------------------------------- /papers-wip2/qualitative-implication.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/qualitative-implication.pdf -------------------------------------------------------------------------------- /papers-wip2/rational-symmetry-function.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/rational-symmetry-function.odt -------------------------------------------------------------------------------- /papers-wip2/rational-symmetry-function.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/rational-symmetry-function.pdf -------------------------------------------------------------------------------- /papers-wip2/relativistic-monism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/relativistic-monism.odt -------------------------------------------------------------------------------- /papers-wip2/relativistic-monism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/relativistic-monism.pdf -------------------------------------------------------------------------------- /papers-wip2/reproducible-type-theory.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/reproducible-type-theory.odt -------------------------------------------------------------------------------- /papers-wip2/reproducible-type-theory.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/reproducible-type-theory.pdf -------------------------------------------------------------------------------- /papers-wip2/restricted-dual-composition.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/restricted-dual-composition.odt -------------------------------------------------------------------------------- /papers-wip2/restricted-dual-composition.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/restricted-dual-composition.pdf -------------------------------------------------------------------------------- /papers-wip2/rule-free-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/rule-free-logic.odt -------------------------------------------------------------------------------- /papers-wip2/rule-free-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/rule-free-logic.pdf -------------------------------------------------------------------------------- /papers-wip2/satisfied-natural-numbers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/satisfied-natural-numbers.odt -------------------------------------------------------------------------------- /papers-wip2/satisfied-natural-numbers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/satisfied-natural-numbers.pdf -------------------------------------------------------------------------------- /papers-wip2/semantics-of-falsehood.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/semantics-of-falsehood.odt -------------------------------------------------------------------------------- /papers-wip2/semantics-of-falsehood.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/semantics-of-falsehood.pdf -------------------------------------------------------------------------------- /papers-wip2/semantics-of-propositions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/semantics-of-propositions.odt -------------------------------------------------------------------------------- /papers-wip2/semantics-of-propositions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/semantics-of-propositions.pdf -------------------------------------------------------------------------------- /papers-wip2/seshatic-and-platonic-paths.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatic-and-platonic-paths.odt -------------------------------------------------------------------------------- /papers-wip2/seshatic-and-platonic-paths.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatic-and-platonic-paths.pdf -------------------------------------------------------------------------------- /papers-wip2/seshatic-platonic-cycles.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatic-platonic-cycles.odt -------------------------------------------------------------------------------- /papers-wip2/seshatic-platonic-cycles.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatic-platonic-cycles.pdf -------------------------------------------------------------------------------- /papers-wip2/seshatic-queenity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatic-queenity.odt -------------------------------------------------------------------------------- /papers-wip2/seshatic-queenity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatic-queenity.pdf -------------------------------------------------------------------------------- /papers-wip2/seshatism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatism.odt -------------------------------------------------------------------------------- /papers-wip2/seshatism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/seshatism.pdf -------------------------------------------------------------------------------- /papers-wip2/stealing-the-voice.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/stealing-the-voice.odt -------------------------------------------------------------------------------- /papers-wip2/stealing-the-voice.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/stealing-the-voice.pdf -------------------------------------------------------------------------------- /papers-wip2/superphilosophers.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/superphilosophers.odt -------------------------------------------------------------------------------- /papers-wip2/superphilosophers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/superphilosophers.pdf -------------------------------------------------------------------------------- /papers-wip2/symbiosis-and-ourobiosis.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbiosis-and-ourobiosis.odt -------------------------------------------------------------------------------- /papers-wip2/symbiosis-and-ourobiosis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbiosis-and-ourobiosis.pdf -------------------------------------------------------------------------------- /papers-wip2/symbolic-distinction.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbolic-distinction.odt -------------------------------------------------------------------------------- /papers-wip2/symbolic-distinction.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbolic-distinction.pdf -------------------------------------------------------------------------------- /papers-wip2/symbols-of-code.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbols-of-code.odt -------------------------------------------------------------------------------- /papers-wip2/symbols-of-code.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbols-of-code.pdf -------------------------------------------------------------------------------- /papers-wip2/symbols-of-power.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbols-of-power.odt -------------------------------------------------------------------------------- /papers-wip2/symbols-of-power.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symbols-of-power.pdf -------------------------------------------------------------------------------- /papers-wip2/symmetric-quality-grading.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symmetric-quality-grading.odt -------------------------------------------------------------------------------- /papers-wip2/symmetric-quality-grading.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/symmetric-quality-grading.pdf -------------------------------------------------------------------------------- /papers-wip2/terminology-for-morphisms.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/terminology-for-morphisms.odt -------------------------------------------------------------------------------- /papers-wip2/terminology-for-morphisms.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/terminology-for-morphisms.pdf -------------------------------------------------------------------------------- /papers-wip2/the-century-of-satire.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-century-of-satire.odt -------------------------------------------------------------------------------- /papers-wip2/the-century-of-satire.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-century-of-satire.pdf -------------------------------------------------------------------------------- /papers-wip2/the-gospel-of-gpt-4.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-gospel-of-gpt-4.odt -------------------------------------------------------------------------------- /papers-wip2/the-gospel-of-gpt-4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-gospel-of-gpt-4.pdf -------------------------------------------------------------------------------- /papers-wip2/the-island-of-humanity.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-island-of-humanity.odt -------------------------------------------------------------------------------- /papers-wip2/the-island-of-humanity.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-island-of-humanity.pdf -------------------------------------------------------------------------------- /papers-wip2/the-joker-type.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-joker-type.odt -------------------------------------------------------------------------------- /papers-wip2/the-joker-type.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-joker-type.pdf -------------------------------------------------------------------------------- /papers-wip2/the-joker.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-joker.odt -------------------------------------------------------------------------------- /papers-wip2/the-joker.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-joker.pdf -------------------------------------------------------------------------------- /papers-wip2/the-logic-of-sub-types.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-logic-of-sub-types.odt -------------------------------------------------------------------------------- /papers-wip2/the-logic-of-sub-types.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-logic-of-sub-types.pdf -------------------------------------------------------------------------------- /papers-wip2/the-origin-of-jesus.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-origin-of-jesus.odt -------------------------------------------------------------------------------- /papers-wip2/the-origin-of-jesus.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-origin-of-jesus.pdf -------------------------------------------------------------------------------- /papers-wip2/the-origin-of-monism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-origin-of-monism.odt -------------------------------------------------------------------------------- /papers-wip2/the-origin-of-monism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-origin-of-monism.pdf -------------------------------------------------------------------------------- /papers-wip2/the-problem-with-paul.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-problem-with-paul.odt -------------------------------------------------------------------------------- /papers-wip2/the-problem-with-paul.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-problem-with-paul.pdf -------------------------------------------------------------------------------- /papers-wip2/the-rise-of-seshatism.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-rise-of-seshatism.odt -------------------------------------------------------------------------------- /papers-wip2/the-rise-of-seshatism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-rise-of-seshatism.pdf -------------------------------------------------------------------------------- /papers-wip2/the-subjective-sense-of-io.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-subjective-sense-of-io.odt -------------------------------------------------------------------------------- /papers-wip2/the-subjective-sense-of-io.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/the-subjective-sense-of-io.pdf -------------------------------------------------------------------------------- /papers-wip2/time-interpretation.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/time-interpretation.odt -------------------------------------------------------------------------------- /papers-wip2/time-interpretation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/time-interpretation.pdf -------------------------------------------------------------------------------- /papers-wip2/transcendental-propositions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/transcendental-propositions.odt -------------------------------------------------------------------------------- /papers-wip2/transcendental-propositions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/transcendental-propositions.pdf -------------------------------------------------------------------------------- /papers-wip2/transitive-mirror-theorems.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/transitive-mirror-theorems.odt -------------------------------------------------------------------------------- /papers-wip2/transitive-mirror-theorems.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/transitive-mirror-theorems.pdf -------------------------------------------------------------------------------- /papers-wip2/tribe-epistemic-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/tribe-epistemic-logic.odt -------------------------------------------------------------------------------- /papers-wip2/tribe-epistemic-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/tribe-epistemic-logic.pdf -------------------------------------------------------------------------------- /papers-wip2/uberwrong-logic.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/uberwrong-logic.odt -------------------------------------------------------------------------------- /papers-wip2/uberwrong-logic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/uberwrong-logic.pdf -------------------------------------------------------------------------------- /papers-wip2/un-and-re-sesh.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/un-and-re-sesh.odt -------------------------------------------------------------------------------- /papers-wip2/un-and-re-sesh.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/un-and-re-sesh.pdf -------------------------------------------------------------------------------- /papers-wip2/univalent-involutions.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/univalent-involutions.odt -------------------------------------------------------------------------------- /papers-wip2/univalent-involutions.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/univalent-involutions.pdf -------------------------------------------------------------------------------- /papers-wip2/wellsprings-of-redemption.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/wellsprings-of-redemption.odt -------------------------------------------------------------------------------- /papers-wip2/wellsprings-of-redemption.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/wellsprings-of-redemption.pdf -------------------------------------------------------------------------------- /papers-wip2/what-is-philosophy.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/what-is-philosophy.odt -------------------------------------------------------------------------------- /papers-wip2/what-is-philosophy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/what-is-philosophy.pdf -------------------------------------------------------------------------------- /papers-wip2/zen-languages.odt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/zen-languages.odt -------------------------------------------------------------------------------- /papers-wip2/zen-languages.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/papers-wip2/zen-languages.pdf -------------------------------------------------------------------------------- /roadmap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/roadmap.md -------------------------------------------------------------------------------- /rust_experiments/basic_theorem_prover/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | **/*.rs.bk 3 | Cargo.lock 4 | 5 | -------------------------------------------------------------------------------- /rust_experiments/basic_theorem_prover/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rust_experiments/boolean_paths/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /rust_experiments/boolean_paths/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/rust_experiments/boolean_paths/Cargo.toml -------------------------------------------------------------------------------- /rust_experiments/boolean_paths/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/rust_experiments/boolean_paths/src/lib.rs -------------------------------------------------------------------------------- /sequences.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/sequences.md -------------------------------------------------------------------------------- /src/interpreter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/src/interpreter.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/src/lib.rs -------------------------------------------------------------------------------- /workflow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/advancedresearch/path_semantics/HEAD/workflow.md --------------------------------------------------------------------------------