Login / Signup
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
Paulo Mateus
Amílcar Sernadas
Cristina Sernadas
Luca Viganò
Published in:
Log. J. IGPL (2004)
Keyphrases
</>
truth values
sequent calculi
modal logic
inference rules
conditional logic
boolean logic
decision procedures
temporal logic
theorem proving
classical logic
theorem prover
multi valued
logical framework
sequent calculus
linearly ordered
default logic
cut elimination
fixpoint
machine learning
horn clauses
high level