Birkhoff's and Mal'cev's Theorems for Implicational Tonoid Logics.

Published in: Stud Logica (2023)

Keyphrases

expressive power
modal logic
classical logic
epistemic logic
inference rules
decision trees
propositional dynamic logic
databases
learning algorithm
decision procedures
sequent calculus
intuitionistic logic
propositional calculus
horn logic