Login / Signup

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.

Harsh BeoharSebastian GurkeBarbara KönigKarla MessingJonas ForsterLutz SchröderPaul Wild
Published in: STACS (2024)
Keyphrases
  • valued logic
  • fuzzy sets
  • computational intelligence
  • first order logic
  • propositional logic