Login / Signup

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models.

Mauro FerrariCamillo FiorentiniGuido Fiorino
Published in: J. Autom. Reason. (2013)
Keyphrases
  • propositional logic
  • belief revision
  • belief change
  • minimal models
  • probabilistic model
  • first order logic
  • fuzzy set theory
  • propositional satisfiability
  • horn logic
  • theorem prover