A Note on Freedom from Detachment in the Logic of Paradox.
J. C. BeallThomas ForsterJeremy SeligmanPublished in: Notre Dame J. Formal Log. (2013)
Keyphrases
- classical logic
- modal logic
- multi valued
- automated reasoning
- dynamic logic
- deontic logic
- predicate logic
- proof theory
- logic programming
- case study
- decision making
- logic synthesis
- data mining
- real time
- intuitionistic logic
- natural deduction
- propositional dynamic logic
- epistemic logic
- computational properties
- machine learning
- neural network
- data sets