(Pre-)Algebras for Linguistics 5. Prelattices Carl Pollard - - PowerPoint PPT Presentation

pre algebras for linguistics
SMART_READER_LITE
LIVE PREVIEW

(Pre-)Algebras for Linguistics 5. Prelattices Carl Pollard - - PowerPoint PPT Presentation

(Pre-)Algebras for Linguistics 5. Prelattices Carl Pollard Linguistics 680: Formal Foundations Autumn 2010 Carl Pollard (Pre-)Algebras for Linguistics Prelattices A prelattice is a preordered algebra P, , , where P,


slide-1
SLIDE 1

(Pre-)Algebras for Linguistics

  • 5. Prelattices

Carl Pollard

Linguistics 680: Formal Foundations

Autumn 2010

Carl Pollard (Pre-)Algebras for Linguistics

slide-2
SLIDE 2

Prelattices

A prelattice is a preordered algebra P, ⊑, ⊓, ⊔ where

P, ⊑, ⊓ is a lower semilattice and

Carl Pollard (Pre-)Algebras for Linguistics

slide-3
SLIDE 3

Prelattices

A prelattice is a preordered algebra P, ⊑, ⊓, ⊔ where

P, ⊑, ⊓ is a lower semilattice and P, ⊑, ⊔ is an upper semilattice.

Carl Pollard (Pre-)Algebras for Linguistics

slide-4
SLIDE 4

Prelattices

A prelattice is a preordered algebra P, ⊑, ⊓, ⊔ where

P, ⊑, ⊓ is a lower semilattice and P, ⊑, ⊔ is an upper semilattice.

A bounded prelattice is a preordered algebra P, ⊑, ⊓, ⊔, ⊤, ⊥ where

P, ⊑, ⊓, ⊔ is a prelattice

Carl Pollard (Pre-)Algebras for Linguistics

slide-5
SLIDE 5

Prelattices

A prelattice is a preordered algebra P, ⊑, ⊓, ⊔ where

P, ⊑, ⊓ is a lower semilattice and P, ⊑, ⊔ is an upper semilattice.

A bounded prelattice is a preordered algebra P, ⊑, ⊓, ⊔, ⊤, ⊥ where

P, ⊑, ⊓, ⊔ is a prelattice ⊤ is a top

Carl Pollard (Pre-)Algebras for Linguistics

slide-6
SLIDE 6

Prelattices

A prelattice is a preordered algebra P, ⊑, ⊓, ⊔ where

P, ⊑, ⊓ is a lower semilattice and P, ⊑, ⊔ is an upper semilattice.

A bounded prelattice is a preordered algebra P, ⊑, ⊓, ⊔, ⊤, ⊥ where

P, ⊑, ⊓, ⊔ is a prelattice ⊤ is a top ⊥ is a bottom

Carl Pollard (Pre-)Algebras for Linguistics

slide-7
SLIDE 7

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments

Carl Pollard (Pre-)Algebras for Linguistics

slide-8
SLIDE 8

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments associative u.t.e.

Carl Pollard (Pre-)Algebras for Linguistics

slide-9
SLIDE 9

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments associative u.t.e. commutative u.t.e.

Carl Pollard (Pre-)Algebras for Linguistics

slide-10
SLIDE 10

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments associative u.t.e. commutative u.t.e. idempotent u.t.e.

Carl Pollard (Pre-)Algebras for Linguistics

slide-11
SLIDE 11

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments associative u.t.e. commutative u.t.e. idempotent u.t.e.

⊓ (⊔) is a glb (lub) operation

Carl Pollard (Pre-)Algebras for Linguistics

slide-12
SLIDE 12

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments associative u.t.e. commutative u.t.e. idempotent u.t.e.

⊓ (⊔) is a glb (lub) operation Interdefinability: for all p, q ∈ P, p ⊓ q ≡ p iff p ⊑ q iff p ⊔ q ≡ q

Carl Pollard (Pre-)Algebras for Linguistics

slide-13
SLIDE 13

Basic Facts about Prelattices (Review)

⊓ and ⊔ are:

monotonic in both arguments associative u.t.e. commutative u.t.e. idempotent u.t.e.

⊓ (⊔) is a glb (lub) operation Interdefinability: for all p, q ∈ P, p ⊓ q ≡ p iff p ⊑ q iff p ⊔ q ≡ q Absorption u.t.e.: (p ⊔ q) ⊓ q ≡ q ≡ (p ⊓ q) ⊔ q;

Carl Pollard (Pre-)Algebras for Linguistics

slide-14
SLIDE 14

More Facts about Prelattices

Semidistributivity: For all a, b ∈ P: (p ⊓ q) ⊔ (p ⊓ r) ⊑ p ⊓ (q ⊔ r)

Carl Pollard (Pre-)Algebras for Linguistics

slide-15
SLIDE 15

More Facts about Prelattices

Semidistributivity: For all a, b ∈ P: (p ⊓ q) ⊔ (p ⊓ r) ⊑ p ⊓ (q ⊔ r) A prelattice is called distributive u.t.e if the inequality reverse to Semidistributivity holds: p ⊓ (q ⊔ r) ⊑ (p ⊓ q) ⊔ (p ⊓ r) so that in fact

Carl Pollard (Pre-)Algebras for Linguistics

slide-16
SLIDE 16

More Facts about Prelattices

Semidistributivity: For all a, b ∈ P: (p ⊓ q) ⊔ (p ⊓ r) ⊑ p ⊓ (q ⊔ r) A prelattice is called distributive u.t.e if the inequality reverse to Semidistributivity holds: p ⊓ (q ⊔ r) ⊑ (p ⊓ q) ⊔ (p ⊓ r) so that in fact p ⊓ (q ⊔ r) ≡ (p ⊓ q) ⊔ (p ⊓ r)

Carl Pollard (Pre-)Algebras for Linguistics

slide-17
SLIDE 17

More Facts about Prelattices

Semidistributivity: For all a, b ∈ P: (p ⊓ q) ⊔ (p ⊓ r) ⊑ p ⊓ (q ⊔ r) A prelattice is called distributive u.t.e if the inequality reverse to Semidistributivity holds: p ⊓ (q ⊔ r) ⊑ (p ⊓ q) ⊔ (p ⊓ r) so that in fact p ⊓ (q ⊔ r) ≡ (p ⊓ q) ⊔ (p ⊓ r) Theorem: a prelattice is distributive u.t.e. iff the following equivalence holds for all a, b, c ∈ P (obtained from the one above by interchanging ⊓ and ⊔): p ⊔ (q ⊓ r) ≡ (p ⊔ q) ⊓ (p ⊔ r)

Carl Pollard (Pre-)Algebras for Linguistics

slide-18
SLIDE 18

(Pseudo-)Complement Operations

Suppose P, ⊑, ⊓, →, ⊥ is a heyting presemilattice with a bottom element ⊥. Then a unary operation ¬ on P is called a pseudocomplement operation iff, for all p ∈ P, ¬p ≡ p → ⊥

Carl Pollard (Pre-)Algebras for Linguistics

slide-19
SLIDE 19

(Pseudo-)Complement Operations

Suppose P, ⊑, ⊓, →, ⊥ is a heyting presemilattice with a bottom element ⊥. Then a unary operation ¬ on P is called a pseudocomplement operation iff, for all p ∈ P, ¬p ≡ p → ⊥ Clearly a pseudocomplement operation is antitonic. It’s easy to show that ¬⊥ is a top.

Carl Pollard (Pre-)Algebras for Linguistics

slide-20
SLIDE 20

(Pseudo-)Complement Operations

Suppose P, ⊑, ⊓, →, ⊥ is a heyting presemilattice with a bottom element ⊥. Then a unary operation ¬ on P is called a pseudocomplement operation iff, for all p ∈ P, ¬p ≡ p → ⊥ Clearly a pseudocomplement operation is antitonic. It’s easy to show that ¬⊥ is a top. It’s easy to show that for all p ∈ P, p ⊑ ¬(¬p).

Carl Pollard (Pre-)Algebras for Linguistics

slide-21
SLIDE 21

(Pseudo-)Complement Operations

Suppose P, ⊑, ⊓, →, ⊥ is a heyting presemilattice with a bottom element ⊥. Then a unary operation ¬ on P is called a pseudocomplement operation iff, for all p ∈ P, ¬p ≡ p → ⊥ Clearly a pseudocomplement operation is antitonic. It’s easy to show that ¬⊥ is a top. It’s easy to show that for all p ∈ P, p ⊑ ¬(¬p). A pseudocomplement operation is called a complement

  • peration provided, for all a ∈ P, ¬(¬a) ⊑ a, so that in

fact ¬(¬a) ≡ a.

Carl Pollard (Pre-)Algebras for Linguistics

slide-22
SLIDE 22

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice

Carl Pollard (Pre-)Algebras for Linguistics

slide-23
SLIDE 23

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice

Carl Pollard (Pre-)Algebras for Linguistics

slide-24
SLIDE 24

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice ¬ is a pseudocomplement operation.

Carl Pollard (Pre-)Algebras for Linguistics

slide-25
SLIDE 25

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice ¬ is a pseudocomplement operation.

Theorem: pre-heyting algebras are distributive u.t.e.

Carl Pollard (Pre-)Algebras for Linguistics

slide-26
SLIDE 26

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice ¬ is a pseudocomplement operation.

Theorem: pre-heyting algebras are distributive u.t.e. Pre-heyting algebras are algebraic models of a kind of logic called intuitionistic propositional logic.

Carl Pollard (Pre-)Algebras for Linguistics

slide-27
SLIDE 27

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice ¬ is a pseudocomplement operation.

Theorem: pre-heyting algebras are distributive u.t.e. Pre-heyting algebras are algebraic models of a kind of logic called intuitionistic propositional logic. A pre-boolean algebra is a pre-heyting algebra satisfying either of the following (equivalent!) conditions:

The pseudocomplement operation ¬ is a complement

  • peration, i.e. for all p ∈ P, ¬(¬p) ⊑ p.

Carl Pollard (Pre-)Algebras for Linguistics

slide-28
SLIDE 28

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice ¬ is a pseudocomplement operation.

Theorem: pre-heyting algebras are distributive u.t.e. Pre-heyting algebras are algebraic models of a kind of logic called intuitionistic propositional logic. A pre-boolean algebra is a pre-heyting algebra satisfying either of the following (equivalent!) conditions:

The pseudocomplement operation ¬ is a complement

  • peration, i.e. for all p ∈ P, ¬(¬p) ⊑ p.

For all p ∈ P, p ⊔ ¬p ≡ ⊤.

Carl Pollard (Pre-)Algebras for Linguistics

slide-29
SLIDE 29

Pre-Heyting and Pre-Boolean Algebras

A pre-heyting algebra is a preordered algebra P, ⊑, ⊓, ⊔, →, ¬, ⊤, ⊥ where:

P, ⊑, ⊓, ⊔, ⊤, ⊥ is a bounded prelattice P, ⊑, ⊓, → is a heyting presemilattice ¬ is a pseudocomplement operation.

Theorem: pre-heyting algebras are distributive u.t.e. Pre-heyting algebras are algebraic models of a kind of logic called intuitionistic propositional logic. A pre-boolean algebra is a pre-heyting algebra satisfying either of the following (equivalent!) conditions:

The pseudocomplement operation ¬ is a complement

  • peration, i.e. for all p ∈ P, ¬(¬p) ⊑ p.

For all p ∈ P, p ⊔ ¬p ≡ ⊤.

Pre-boolean algebras are algebraic models of a kind of logic called classical propositional logic.

Carl Pollard (Pre-)Algebras for Linguistics

slide-30
SLIDE 30

Heyting Algebras and Boolean Algebras

A heyting (boolean) algebra is an antisymmetric pre-heyting (pre-boolean) algebra.

Carl Pollard (Pre-)Algebras for Linguistics

slide-31
SLIDE 31

Heyting Algebras and Boolean Algebras

A heyting (boolean) algebra is an antisymmetric pre-heyting (pre-boolean) algebra. An example of a heyting algebra is the set of open sets of real numbers ordered by inclusion. (Exercise: what are the

  • perations?)

Carl Pollard (Pre-)Algebras for Linguistics

slide-32
SLIDE 32

Heyting Algebras and Boolean Algebras

A heyting (boolean) algebra is an antisymmetric pre-heyting (pre-boolean) algebra. An example of a heyting algebra is the set of open sets of real numbers ordered by inclusion. (Exercise: what are the

  • perations?)

The most familiar boolean algebras are power sets ordered by subset inclusion. (Exercise: what are the operations?)

Carl Pollard (Pre-)Algebras for Linguistics

slide-33
SLIDE 33

Heyting Algebras and Boolean Algebras

A heyting (boolean) algebra is an antisymmetric pre-heyting (pre-boolean) algebra. An example of a heyting algebra is the set of open sets of real numbers ordered by inclusion. (Exercise: what are the

  • perations?)

The most familiar boolean algebras are power sets ordered by subset inclusion. (Exercise: what are the operations?) Special case of preceding: 2 = ℘(1) = {0, 1}. Semanticists

  • ften call this the algebra of truth values, and rename 1

and 0 to t and f respectively.

Carl Pollard (Pre-)Algebras for Linguistics

slide-34
SLIDE 34

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment

Carl Pollard (Pre-)Algebras for Linguistics

slide-35
SLIDE 35

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment ⊓ is the meaning of and

Carl Pollard (Pre-)Algebras for Linguistics

slide-36
SLIDE 36

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment ⊓ is the meaning of and ⊔ is the meaning of or

Carl Pollard (Pre-)Algebras for Linguistics

slide-37
SLIDE 37

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment ⊓ is the meaning of and ⊔ is the meaning of or → is the meaning of if . . . then

Carl Pollard (Pre-)Algebras for Linguistics

slide-38
SLIDE 38

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment ⊓ is the meaning of and ⊔ is the meaning of or → is the meaning of if . . . then ¬ is the meaning of it is not the case that or no way

Carl Pollard (Pre-)Algebras for Linguistics

slide-39
SLIDE 39

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment ⊓ is the meaning of and ⊔ is the meaning of or → is the meaning of if . . . then ¬ is the meaning of it is not the case that or no way ⊤ is some necessarily true proposition

Carl Pollard (Pre-)Algebras for Linguistics

slide-40
SLIDE 40

Semantic Application of Pre-Boolean Algebras

We can model the propositions (static sentence meanings) as a pre-boolean algebra where: ⊑ is entailment ⊓ is the meaning of and ⊔ is the meaning of or → is the meaning of if . . . then ¬ is the meaning of it is not the case that or no way ⊤ is some necessarily true proposition ⊥ is some necessarily false proposition

Carl Pollard (Pre-)Algebras for Linguistics

slide-41
SLIDE 41

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives

Carl Pollard (Pre-)Algebras for Linguistics

slide-42
SLIDE 42

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W)

Carl Pollard (Pre-)Algebras for Linguistics

slide-43
SLIDE 43

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W

Carl Pollard (Pre-)Algebras for Linguistics

slide-44
SLIDE 44

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

Carl Pollard (Pre-)Algebras for Linguistics

slide-45
SLIDE 45

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

  • r′ is union

Carl Pollard (Pre-)Algebras for Linguistics

slide-46
SLIDE 46

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

  • r′ is union

implies′ is relative complement

Carl Pollard (Pre-)Algebras for Linguistics

slide-47
SLIDE 47

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

  • r′ is union

implies′ is relative complement no way′ is complement

Carl Pollard (Pre-)Algebras for Linguistics

slide-48
SLIDE 48

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

  • r′ is union

implies′ is relative complement no way′ is complement There is only one necessary truth.

Carl Pollard (Pre-)Algebras for Linguistics

slide-49
SLIDE 49

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

  • r′ is union

implies′ is relative complement no way′ is complement There is only one necessary truth. There is only one necessary falsehood.

Carl Pollard (Pre-)Algebras for Linguistics

slide-50
SLIDE 50

Modelling Worlds (1/2)

One way to do it is Montague’s way: We take worlds to be a set W of unanalyzed primitives We model propositions as sets of worlds: P = def ℘(W) p@w means w ∈ p, so entailment is ⊆W and′ is intersection

  • r′ is union

implies′ is relative complement no way′ is complement There is only one necessary truth. There is only one necessary falsehood. Sentences with the same truth conditions have the same meaning.

Carl Pollard (Pre-)Algebras for Linguistics

slide-51
SLIDE 51

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.)

Carl Pollard (Pre-)Algebras for Linguistics

slide-52
SLIDE 52

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.) p@w means p ∈ w.

Carl Pollard (Pre-)Algebras for Linguistics

slide-53
SLIDE 53

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.) p@w means p ∈ w. For the preorder ⊑ in P to be a good model of entailment, it will have to be the case that for any two propositions p and q, p ⊑ q iff for every world w, if p ∈ w then q ∈ w.

Carl Pollard (Pre-)Algebras for Linguistics

slide-54
SLIDE 54

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.) p@w means p ∈ w. For the preorder ⊑ in P to be a good model of entailment, it will have to be the case that for any two propositions p and q, p ⊑ q iff for every world w, if p ∈ w then q ∈ w. Turning things around, for any p and q such that p ⊑ q, there must exist a w such that p ∈ w but q ∈ w.

Carl Pollard (Pre-)Algebras for Linguistics

slide-55
SLIDE 55

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.) p@w means p ∈ w. For the preorder ⊑ in P to be a good model of entailment, it will have to be the case that for any two propositions p and q, p ⊑ q iff for every world w, if p ∈ w then q ∈ w. Turning things around, for any p and q such that p ⊑ q, there must exist a w such that p ∈ w but q ∈ w. So, whatever worlds are, there have to be enough of them.

Carl Pollard (Pre-)Algebras for Linguistics

slide-56
SLIDE 56

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.) p@w means p ∈ w. For the preorder ⊑ in P to be a good model of entailment, it will have to be the case that for any two propositions p and q, p ⊑ q iff for every world w, if p ∈ w then q ∈ w. Turning things around, for any p and q such that p ⊑ q, there must exist a w such that p ∈ w but q ∈ w. So, whatever worlds are, there have to be enough of them. So which subsets of P should be in W?

Carl Pollard (Pre-)Algebras for Linguistics

slide-57
SLIDE 57

Modelling Worlds (2/2)

Another way is the way of hyperintensional semantics. We take worlds to be a certain subsets of P: W ℘(P). (Which ones? We’ll come back to that.) p@w means p ∈ w. For the preorder ⊑ in P to be a good model of entailment, it will have to be the case that for any two propositions p and q, p ⊑ q iff for every world w, if p ∈ w then q ∈ w. Turning things around, for any p and q such that p ⊑ q, there must exist a w such that p ∈ w but q ∈ w. So, whatever worlds are, there have to be enough of them. So which subsets of P should be in W? To answer this, we need to know more about certain special subsets of preboolean algebras.

Carl Pollard (Pre-)Algebras for Linguistics