The Internalized Disjunction Property for Intuitionistic Justification Logic.

Michel Marti Thomas Studer

Published 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