The Internalized Disjunction Property for Intuitionistic Justification Logic.
Michel MartiThomas StuderPublished in: Advances in Modal Logic (2018)
Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- logical framework
- modal logic
- fuzzy set theory
- automated reasoning
- semantics of logic programs
- databases
- desirable properties
- logic programming
- machine learning
- fuzzy numbers
- theorem prover
- inference rules
- multi valued
- predicate logic
- formal theory
- sequent calculus
- default logic
- probabilistic logic
- fuzzy logic
- artificial intelligence
- proof search
- genetic algorithm