It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.4K
- Chat 504
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 111
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 718

Options

## Comments

I think it would look like a preorder, except that some edges (necessarily between different objects) would be labelled as "maybe" and all paths that include a "maybe" edge should be counted as "maybe", too. For example, if we are dealing with a set of propositions and we interpret edges (or lack thereof) as "there is no proof/there may be a proof/there is a proof", then there would be a proof between two propositions linked by a path of "yes" edges, there may be a proof between two propositions linked only by a path of "yes" and (at least one) "maybe" edges, and there is no proof otherwise (i.e., "no" means "no edges").

`I think it would look like a preorder, except that some edges (necessarily between different objects) would be labelled as "maybe" and all paths that include a "maybe" edge should be counted as "maybe", too. For example, if we are dealing with a set of propositions and we interpret edges (or lack thereof) as "there is no proof/there may be a proof/there is a proof", then there would be a proof between two propositions linked by a path of "yes" edges, there may be a proof between two propositions linked only by a path of "yes" and (at least one) "maybe" edges, and there is no proof otherwise (i.e., "no" means "no edges").`

It provides a sort of fuzzy logic, answers to "is it possible?" where "maybe" is an allowed answer.

`It provides a sort of fuzzy logic, answers to "is it possible?" where "maybe" is an allowed answer.`