Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study.
Dorota Leszczynska-JasionMateusz IgnaszakSzymon ChlebowskiPublished in: Stud Logica (2019)
Keyphrases
- intelligent systems
- database systems
- complex systems
- management system
- computing systems
- machine learning
- theorem proving
- intuitionistic logic
- real time
- test bed
- learning systems
- computer systems
- distributed systems
- artificial neural networks
- data structure
- image sequences
- case study
- multimedia
- data mining
- neural network