https://github.com/christian-byrne/first-order-logic-trees
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.0%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: christian-byrne
- Language: Python
- Default Branch: main
- Size: 2.64 MB
Statistics
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Generated by code below.
```python M = ( Model("M") .withdomain(DomainOfDiscourse("D").expand(["Corwin", "Benedict"])) .withinterpretationfunction( Interpretation() .addpredicate(Predicate("A", 1).extend("Corwin").extend("Benedict")) .addpredicate(Predicate("B", 1).extend("Benedict")) .addpredicate(Predicate("N", 1)) .extend(Constant("c"), "Corwin") ) )
formula = "∃x(B(x)) → ∀x(A(x))"
ast= Parser(formula, M).parse() treesimage = stitchhorizontal( [ visualizeastprogressively(ast), visualizeevaluationprogressively(ast, M), ] ) finalimage = centerandstitchvertical( [createinterpretationimage(M.I, treesimage.width), treesimage] ) finalimage.save("../output/formulaunder_M.png")
result = evaluate(ast, M.I)
>>> M ⊨ ∃x(B(x)) → ∀x(A(x)).
```
Owner
- Name: Christian Byrne
- Login: christian-byrne
- Kind: user
- Location: San Francisco
- Company: Comfy-Org
- Twitter: c__byrne
- Repositories: 100
- Profile: https://github.com/christian-byrne
GitHub Events
Total
- Watch event: 2
- Push event: 12
- Create event: 2
Last Year
- Watch event: 2
- Push event: 12
- Create event: 2
Committers
Last synced: about 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| christian-byrne | a****m@g****m | 20 |
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- graphviz *