Sequent-Calculi for Metainferential Logics.

Bruno Da Ré Federico Matias Pailos

Published in: Stud Logica (2022)

Keyphrases

sequent calculi
modal logic
conditional logic
cut elimination
default reasoning
artificial intelligence
bayesian networks
query language
logic programs
temporal logic
linear logic