Pages that link to "Item:Q2118976"

From MaRDI portal

← An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976)

Jump to:navigation, search

The following pages link to An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976):

Displaying 1 item.

Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2118976"