From the research on logics without tautologies (part 2).
Leszek JaworskiPublished in: Log. J. IGPL (2013)
Keyphrases
- expressive power
- modal logic
- inference rules
- conditional logic
- bayesian networks
- propositional calculus
- proof theory
- epistemic logic
- nonmonotonic logics
- description logics
- fuzzy sets
- fuzzy logic
- propositional logic
- computational properties
- image sequences
- three dimensional
- information systems
- social networks
- valued logic
- neural network