Issues

• Finite-algebra operations allocate through BinaryOperation{N} fields

  aclai-lab/SoleLogics.jl#115 · Filter by author eduardstan opened on Aug 31, 2026

• check(::Atom, ::AbstractDict) returns nothing for an absent atom, but its docstring documents false

  aclai-lab/SoleLogics.jl#111 · Filter by author eduardstan opened on Aug 17, 2026

• Expose a checkable witness and a serialization schema for external verification consumers

  aclai-lab/SoleLogics.jl#109 · Filter by author eduardstan opened on Aug 16, 2026

• Equality relation for TruthDicts

  bug
  Bug

  aclai-lab/SoleLogics.jl#108 · Filter by author mauro-milella opened on Jun 18, 2026
  6

  

• Synthetic (modal) dataset generation

  aclai-lab/SoleLogics.jl#78 · Filter by author mauro-milella opened on Oct 15, 2025
  

• Optimize SoleLogics structures

  optimization
  Task

  aclai-lab/SoleLogics.jl#77 · Filter by author alberto-paparella opened on Oct 3, 2025
  1

  

• Remove dev branch

  enhancementgood first issuehelp wanted
  aclai-lab/SoleLogics.jl#72 · Filter by author giopaglia opened on Apr 27, 2025

• SoleData.jl dependency

  invalid
  Task

  aclai-lab/SoleLogics.jl#67 · Filter by author alberto-paparella opened on Feb 26, 2025
  3

  

• Check that an Interval is an interval

  enhancementgood first issuehelp wanted
  Feature

  aclai-lab/SoleLogics.jl#47 · Filter by author alberto-paparella opened on Feb 17, 2025
  2

• Issue for JuliaRegistrator

  aclai-lab/SoleLogics.jl#14 · Filter by author giopaglia opened on Mar 8, 2023
  163