Semantical Analysis of the Logic of Bunched Implications.

Alexander V. Gheorghiu David J. Pym

Published in: Stud Logica (2023)

Keyphrases

database
real time
digital libraries
quantitative analysis
data mining
learning algorithm
web pages
case study
statistical analysis
classical logic
sound and complete axiomatization