Functions — github.com/advancedresearch/pocket

hub / github.com/advancedresearch/pocket_prover / functions

Functions209 in github.com/advancedresearch/pocket_prover

Path semantical contravariant quality `a ¬~~ b`. For more information, see [paper](https://github.com/advancedresearch/path_semantics/blob/master/pap

(a: u64, b: u64, a2: u64, b2: u64)

examples/quality_creation_theorem.rs:49

Functioncreation_with_eqq

(a: u64, b: u64, a2: u64, b2: u64)

examples/quality_creation_theorem.rs:60

Methoddoes_not_mean

According to the rules, the assumption does not lead to the conclusion, but neither does it lead to the opposite conclusion.

src/lib.rs:1691

Methodeq

Proves that according to the rules, two statements are equivalent.

src/lib.rs:1706

Methodexc

Proves that according to the rules, two statements are exclusive.

src/lib.rs:1711

Functionfalse_1

Ignores argument, always returning `false`.

src/lib.rs:1305

Functionfalse_10

Ignores all 10 arguments, returning `false` for all inputs.

src/lib.rs:1343

Functionfalse_2

Ignores both arguments, returning `false` for all inputs.

src/lib.rs:1314

Functionfalse_3

Ignores all 3 arguments, returning `false` for all inputs.

src/lib.rs:1329

Functionfalse_4

Ignores all 4 arguments, returning `false` for all inputs.

src/lib.rs:1331

Functionfalse_5

Ignores all 5 arguments, returning `false` for all inputs.

src/lib.rs:1333

Functionfalse_6

Ignores all 6 arguments, returning `false` for all inputs.

src/lib.rs:1335

Functionfalse_7

Ignores all 7 arguments, returning `false` for all inputs.

src/lib.rs:1337

Functionfalse_8

Ignores all 8 arguments, returning `false` for all inputs.

src/lib.rs:1339

Functionfalse_9

Ignores all 9 arguments, returning `false` for all inputs.

src/lib.rs:1341

Functionfoo_a_b

()

pocket_prover-derive/tests/lib.rs:21

Methodfull_rules

The full rules of the entire logical system.

src/lib.rs:1776

Functionhom_and

Aligns logical AND of qubits up to some homotopy level.

src/lib.rs:711

Functionhom_imply

Aligns implication of qubits up to some homotopy level. This is also path semantical continuous map `a ~>_n b` up to homotopy level `n`.

src/lib.rs:701

Functionhom_or

Aligns logical OR of qubits up to some homotopy level.

src/lib.rs:716

Functionhom_xor

Aligns logical XOR of qubits up to some homotopy level.

Proves that according to the rules, the first statement implies the other.

src/lib.rs:1719

Functionimplyn

An IMPLY chain of variable number of arguments.

Defines a groupoid relation from `x` to `a` and `b`.

src/lib.rs:786

Functionis_hom_lev_n

Defines a homotopy level `n` relation from `x` to `a` and `b`.

src/lib.rs:806

Functionis_set

Defines a set relation from a set `x` to potential members `a` and `b`.

examples/eq_catus_cube.rs:12

Functionmain

()

examples/quality_core_hidden_bias.rs:24

Functionmain

()

examples/god_does_not_exist.rs:5

Functionmain

()

examples/socrates.rs:5

Functionmain

()

examples/path1_vars.rs:5

Functionmain

()

examples/quality.rs:3

Functionmain

()

examples/quality_ty_differ.rs:3

Functionmain

()

examples/is_set.rs:12

Functionmain

()

examples/quality_index_theorem.rs:12

Functionmain

()

examples/logic_is_true.rs:5

Functionmain

()

examples/quality_creation_theorem.rs:14

Functionmain

()

examples/quality_entanglement.rs:10

Functionmain

()

examples/quantifiers.rs:5

Functionmain

()

examples/quality_core_eq_propagation.rs:18

Functionmain

()

examples/quality_ty_uniq.rs:18

examples/extract.rs:3

Functionmain

()

examples/inference_rules.rs:5

Functionmain

()

examples/quality_seshatism_vs_platonism.rs:25

examples/quality_partial_equivalence.rs:16

examples/quality_sym_core_eq.rs:12

Functionmain

()

examples/molecule.rs:5

Functionmain

()

examples/is_prop.rs:15

Functionmain

()

examples/is_groupoid.rs:21

According to the rules, the conclusion follows from the assumptions, but the assumptions can not be used to get the opposite conclusion.

src/lib.rs:1700

Functionmethane

(H: u64, C: u64, a: u64, b: [u64; 4])

examples/molecule.rs:59

Methodn

Gets the number of bits in logical system.

src/lib.rs:2049

Functionoxygen

(O: u64, E2: u64, a: u64, b: u64)

examples/molecule.rs:73

Functionpath1_prove1

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1221

Functionpath1_prove10

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1271

Functionpath1_prove2

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1227

Functionpath1_prove3

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1231

Functionpath1_prove4

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1235

Functionpath1_prove5

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1241

Functionpath1_prove6

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1247

Functionpath1_prove7

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1253

Functionpath1_prove8

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1259

Functionpath1_prove9

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1265

Functionpath1_proven

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1277

Functionpath1_provenm

Path Semantical Logic: Returns `true` if proposition is correct, `false` otherwise. For more information, see the section "Path Semantical Logic" at

src/lib.rs:1296

Functionplatonic_qubit

Prepares a platonic qubit using a proposition as seed. Functions like `qubit`, but without the Sesh property `!~a == ~!a`. For more information, see

src/lib.rs:645

Methodprob

Computes the logical probability `P(f | rules)`.

src/lib.rs:1724

Methodprob_imply

Computes the logical probability `P(b | a ∧ rules)`.

src/lib.rs:1737

Functionprop

Returns `T` if `a` is `true`, `F` otherwise. In logical terminology this corresponds to a proposition.

src/lib.rs:1302

Methodprove

A method to prove a statement according to the rules. The default method counts true cases and might be overridden for better performance. One can co

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1208

Functionprove3

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1190

Functionprove4

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1192

Functionprove5

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1194

Functionprove6

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1196

Functionprove7

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1198

Functionprove8

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1200

Functionprove9

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1204

Functionproven

Returns `true` if proposition is correct, `false` otherwise.

src/lib.rs:1212

Functionps_sym_core

Assumes the symmetric path semantical core axiom. This is the same as assuming both the core axiom and the acore axiom.

src/lib.rs:758

Functionps_sym_core_eq

Assumes a strong version of the symmetric path semantical core axiom. This is the same as assuming strong versions of both the core axiom and the aco

src/lib.rs:765

Functionre_sesh

Restore Sesh property to a proposition. This is the inverse of `un_sesh`. `re_sesh . un_sesh <=> id`. For more information, see [paper "Un- and Re-S

src/lib.rs:624

Functionreact2

(a: [u64; 2], b: [u64; 2])

examples/molecule.rs:30

Functionsalt

(Na: u64, Cl: u64, a: u64, b: u64)

examples/molecule.rs:51

Ignores argument, always returning `true`.

src/lib.rs:1311

Functiontrue_10

Ignores all 10 arguments, returning `true` for all inputs.

src/lib.rs:1363

Functiontrue_2

Ignores both arguments, returning `true` for all inputs.

src/lib.rs:1326

Functiontrue_3

Ignores all 3 arguments, returning `true` for all inputs.

src/lib.rs:1349

← previous next →101–200 of 209, ranked by callers