https://github.com/aclai-lab/latd2025b
Modal FLew-algebra satisfiability through two-sorted first-order translation.
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 (6.2%) to scientific vocabulary
Repository
Modal FLew-algebra satisfiability through two-sorted first-order translation.
Basic Info
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Modal FLew-algebra satisfiability through two-sorted first-order translation
Getting started
Launch a Julia command-line interface in your terminal:
$ julia
If you want to make use of multi-thread execution, add the -t option specifying the number
n of threads to be used. Here's and example for launching the session using 8 threads:
$ julia -t 8
Then include modalFLewToFirstOrder.jl file
julia> include("modalFLewToFirstOrder.jl");
To define a new algebra, first import the ManyValuedLogics submodule of SoleLogics:
julia> using SoleLogics.ManyValuedLogics;
In the same module, many common algebras have already been defined; for example, let's import the Goedel algebra with 3 values G3, as well as the third value α:
julia> using SoleLogics.ManyValuedLogics: G3, α;
Then, let's define a formula using SoleLogics syntax; in the following example, we also
define a diamond and a box operator for the Halpern and Shoham's after relation IA_A
also defined in SoleLogics, as well as a new atom p:
julia> diamondA = diamond(IA_A);
julia> boxA = box(IA_A);
julia> p = Atom("p");
julia> φ = ∧(diamondA(p),boxA(→(p,⊥)));
To check alphasatisfiability, use the alphasat function:
julia> alphasat(α, φ, G3; solver="z3")
Owner
- Name: Applied Computational Logic and Artificial Intelligence Laboratory
- Login: aclai-lab
- Kind: organization
- Email: aclai@unife.it
- Location: Italy
- Website: aclai.unife.it
- Repositories: 14
- Profile: https://github.com/aclai-lab
Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara
GitHub Events
Total
- Push event: 20
- Public event: 1
Last Year
- Push event: 20
- Public event: 1
Committers
Last synced: about 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| Alberto Paparella | p****t@u****t | 21 |
Committer Domains (Top 20 + Academic)
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