Projectivity and unification in substructural logics of generalized rotations.

Paolo Aglianò Sara Ugolini

Published in: Int. J. Approx. Reason. (2023)

Keyphrases

propositional calculus
expressive power
higher order
modal logic
theorem proving
database
neural network
case study
probabilistic model
inference rules
proof theory