Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

A. R. Balasubramanian Timo Lang Revantha Ramanayake

Published in: CoRR (2021)

Keyphrases

propositional calculus
decision procedures
modal logic
expressive power
lower complexity
horn logic
real time
neural network
knowledge base
database systems
optimal solution
computational cost
description logics
decision problems
default logic
space complexity