v0.13.7

SoleLogics v0.13.7

Diff since v0.13.5

Merged pull requests:

• fix for RCC5 relation (#93) (@PasoStudio73)
• Fix InTrees (#103) (@PasoStudio73)

v0.13.5

SoleLogics v0.13.5

Diff since v0.13.4

-Utilities needed from other packages in the Sole ecosystem to interpret many-valued output

Merged pull requests:

• Minor edit to many-expert-algebras related code (#102) (@Alexs221)

v0.13.4

SoleLogics v0.13.4

Diff since v0.13.3

Merged pull requests:

• AbstractInterpretation -> Interpretation (#92) (@giopaglia)
• Merge from main to #77 (#99) (@alberto-paparella)
• 77 optimize solelogics structures (#100) (@alberto-paparella)
• Add branch filter for CI workflow on main branch (#101) (@alberto-paparella)

v0.13.3

SoleLogics v0.13.3

Diff since v0.13.2

• Added support for Continuous Fuzzy Logics and Many Expert Algebras (#80, thanks @Alexs221)

Merged pull requests:

• CompatHelper: bump compat for DataStructures to 0.19, (keep existing compat) (#74) (@github-actions[bot])
• Size method for GeometricalWorld (#75) (@mauro-milella)
• CompatHelper: bump compat for PrettyTables to 3, (keep existing compat) (#76) (@github-actions[bot])
• Constrained connectives (ex. Graded connectives) (#79) (@mauro-milella)
• 80 support for standard fuzzy logics and many expert algebras (#81) (@Alexs221)
• Minor clean & optimizations to syntactical.jl (#84) (@giopaglia)
• 80 support for standard fuzzy logics and many expert algebras (#85) (@Alexs221)
• Remove anchored formula (#86) (@giopaglia)
• Adjust env Manifest (#88) (@giopaglia)
• Update README.md + some exports (#89) (@giopaglia)
• Constrained Connectives - patch for #79 (#90) (@mauro-milella)
• Extend check interface (#91) (@giopaglia)
• Merge from main to #80 (#94) (@alberto-paparella)
• 80 support for standard fuzzy logics and many expert algebras (#95) (@alberto-paparella)

Closed issues:

• GeometricalWorld size method (#68)
• Support for Standard Fuzzy Logics and Many-Expert Algebras (#80)

v0.13.2

SoleLogics v0.13.2

Diff since v0.13.1

• Re-added generation of Finite FLew-chains

Merged pull requests:

• Added generation of Finite FLew-chains (#73) (@alberto-paparella)

Closed issues:

• Add generation of Finite FLew-chains (#69)

v0.13.1

SoleLogics v0.13.1

Diff since v0.13.0

• Added generation of Finite FLew-chains

Merged pull requests:

• Bump (#70) (@alberto-paparella)
• Merge pull request #70 from aclai-lab/main (#71) (@alberto-paparella)

Closed issues:

• Add generation of Finite FLew-chains (#69)

v0.13.0

SoleLogics v0.13.0

Diff since v0.12.0

Breaking changes

Features:

• Aliases for common multi-modal logics (LTL[F,P], CL, HS, RCC8) (#44)
• Optimized many-valued operations (FiniteIndexAlgebras and relative structures are now the default version) (#27)
  Warning: FiniteIndex* types (e.g., FiniteIndexAlgebra) are not supported anymore, as their behavior shifted to Finite* types (e.g., FiniteAlgebra)

Fixes:

• Compass logic relations (#45)
• Ensured type stability for accessible functions for HS relations (#50)
• Updated cirrus.yml with freebsd-family 14.2 (#57)

Ohters:

• Substituted @assert occurrences with error() in ManyValuedlogics (#60)

Merged pull requests:

• Fixed Compass Logic relations (#46) (@alberto-paparella)
• Removed unused constructor (#49) (@alberto-paparella)
• Ensured type stability for accessible function for interval temporal relations (#51) (@alberto-paparella)
• Revert "Ensured type stability for accessible function for interval temporal relations" (#52) (@alberto-paparella)
• Ensured type stability for accessible function for interval temporal relations (#53) (@alberto-paparella)
• Changed accessible function for IntervalLengthFilter to fix tests (#54) (@alberto-paparella)
• Added constructor for FullDimensionalFrame (#55) (@alberto-paparella)
• Added aliases for LTL[F,P], CL, HS and LRCC8_Rec relations and tests (#56) (@alberto-paparella)
• Changed freebsd image_family in .cirrus.ylm (#58) (@alberto-paparella)
• Adding back accessible functions for IA_O, IA_Di and IA_Oi (#59) (@alberto-paparella)
• Optimize many valued operations (#61) (@alberto-paparella)
• Substituted @assert occurrences with error() in ManyValuedLogics (#62) (@alberto-paparella)
• Removed leftovers from FiniteIndex* (now default behaviour) (#64) (@alberto-paparella)
• Bump new version (#66) (@alberto-paparella)

Closed issues:

• Optimize many-valued operations (#27)
• FullDimensionalFrame constructor misusing Vararg (#42)
• SoleReasoners decoupling (#43)
• Multi-Modal Logics: LTL[F,P], CL, HS, LRCC8 (#44)
• Fix Compass Logic relations (#45)
• Ensure type stability for accessible for HS relations (#50)
• Cirrus CI not working (#57)
• Substitute @assert occurrences with error in ManyValuedLogics (#60)
• Remove old code (#63)
• SoleLogics.jl v0.13.0 (#65)

v0.12.0

SoleLogics v0.12.0

Diff since v0.11.0

Breaking changes

• normalize may have changed behavior, although tests show otherwise
• syntaxstring adopts a different approach to parenthesize_atoms

v0.11.0

SoleLogics v0.11.0

Diff since v0.10.4

Merged pull requests:

• Many valued logics (#39) (@alberto-paparella)
• Added simplify for mixed Finite(Index)Truth and BooleanTruth tuples; … (#40) (@alberto-paparella)

v0.10.4

SoleLogics v0.10.4

Diff since v0.10.3