Chapman

Results: 3110



#Item
51

PDF Document

Add to Reading List

Source URL: math.chapman.edu

- Date: 2017-09-16 11:56:12
    52

    PDF Document

    Add to Reading List

    Source URL: math.chapman.edu

    - Date: 2017-03-18 22:04:02
      53

      SCT axioms SCT problems SCT029-1.p Arrow OrderFormalization of two proofs of Arrow’s impossibility theorem. One formalization is based on utility functions, the other one on strict partial orders.

      Add to Reading List

      Source URL: math.chapman.edu

      Language: English - Date: 2017-03-19 21:35:20
        54

        SWW axioms SWW problems SWW096+1.p Equivalenace of the semantic and syntactic definition of and include(’Axioms/SWV012+0.ax’) ∀p, q: and1 (p, q) = and2 (p, q) fof(and1 and2 , conjecture)

        Add to Reading List

        Source URL: math.chapman.edu

        Language: English - Date: 2017-03-19 21:36:16
          55

          MSC axioms MSC problems MSC001-1.p A Blind Hand Problem at(a, there, b) ⇒ ¬ at(a, here, b) cnf(clause1 , axiom) cnf(clause2 , axiom)

          Add to Reading List

          Source URL: math.chapman.edu

          Language: English - Date: 2017-03-18 22:05:32
            56

            Varieties of Lattices Peter Jipsen and Henry Rose v Synopsis

            Add to Reading List

            Source URL: www1.chapman.edu

            Language: English - Date: 2009-12-01 21:20:27
              57

              PLA axioms PLA001-0.ax Blocks world axioms (holds(x, state) and holds(y, state)) ⇒ holds(and(x, y), state) cnf(and definition, axiom) (holds(empty, state) and holds(clear(x), state) and differ(x, table)) ⇒ holds(hol

              Add to Reading List

              Source URL: math.chapman.edu

              Language: English - Date: 2017-03-18 22:05:41
                58

                COM axioms COM001+1.ax Common axioms for progress/preservation proof ∀ve: valphaEquivalent(ve, ve) fof(’alpha-equiv-refl’, axiom) ∀ve2 , ve1 : (valphaEquivalent(ve1 , ve2 ) ⇒ valphaEquivalent(ve2 , ve1 ))

                Add to Reading List

                Source URL: math.chapman.edu

                Language: English - Date: 2017-03-18 22:03:50
                  59

                  Algebra Universalis, + 0.20/0 (~ 1995 BirkhS.user Verlag, Basel Adjoining units to residuated Boolean algebras

                  Add to Reading List

                  Source URL: math.chapman.edu

                  Language: English - Date: 2017-09-16 11:16:44
                    60

                    Chapter 1 Varieties of Lattices Peter Jipsen and Henry Rose

                    Add to Reading List

                    Source URL: math.chapman.edu

                    Language: English - Date: 2016-11-16 16:55:32
                      UPDATE