Aiguier, Marc; Bloch, Isabelle; Nibouche, Salim; Pino Pérez, Ramón Morpho-logic from a topos perspective – application to symbolic AI. (English) Zbl 07734046 Int. J. Approx. Reasoning 161, Article ID 109011, 38 p. (2023). MSC: 68T37 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Int. J. Approx. Reasoning 161, Article ID 109011, 38 p. (2023; Zbl 07734046) Full Text: DOI arXiv
Diaconescu, Răzvan Generalised graded interpolation. (English) Zbl 07629303 Int. J. Approx. Reasoning 152, 236-261 (2023). MSC: 68T27 03B50 03C40 03G30 68T37 PDFBibTeX XMLCite \textit{R. Diaconescu}, Int. J. Approx. Reasoning 152, 236--261 (2023; Zbl 07629303) Full Text: DOI
Aiguier, Marc; Atif, Jamal; Bloch, Isabelle; Pino Pérez, Ramón Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. (English) Zbl 1448.68394 Int. J. Approx. Reasoning 102, 1-20 (2018). MSC: 68T27 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Int. J. Approx. Reasoning 102, 1--20 (2018; Zbl 1448.68394) Full Text: DOI arXiv