Nested sequents for intermediate logics: the case of Gödel-Dummett logics.

Published in: J. Appl. Non Class. Logics (2023)

Keyphrases

expressive power
modal logic
conditional logic
inference rules
epistemic logic
linear logic
valued logic
propositional calculus
expert systems
decision procedures
neural network
general purpose
hierarchical structure
classical logic
sequent calculus
sequent calculi