Login / Signup
Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics.
Eunsuk Yang
Published in:
Axioms (2022)
Keyphrases
</>
expressive power
modal logic
propositional calculus
inference rules
image processing
classical logic
epistemic logic
image sequences
nonmonotonic logics
databases
data mining
machine learning
default logic
conditional logic
proof theory
propositional dynamic logic