Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.

Agata Ciabattoni Timo Lang Revantha Ramanayake

Published in: J. Symb. Log. (2021)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
vector space
artificial intelligence
dimensionality reduction
high dimensional data
euclidean space
query language
distance measure
expressive power
desirable properties
linear logic