Core Logic Engine (jlnn.core)

This section contains the basic mathematical core of the JLNN framework. It implements interval arithmetic, low-level logical operators, and activation functions optimized for JAX.

• Activation Functions
  • identity_activation()
  • lukasiewicz_and_activation()
  • lukasiewicz_or_activation()
  • ramp_sigmoid()
  • Main functions
• Interval Arithmetic
  • check_contradiction()
  • create_interval()
  • ensure_consistent()
  • ensure_interval()
  • get_lower()
  • get_upper()
  • negate()
  • uncertainty()
  • Key operations
• Logical Kernels
  • implies_kleene_dienes()
  • implies_lukasiewicz()
  • implies_reichenbach()
  • weighted_and_lukasiewicz()
  • weighted_or_lukasiewicz()
  • Supported semantics