Pages that link to "Item:Q5705943"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705943):
Displaying 7 items.
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- Logical foundation of the quintuple implication inference methods (Q1726231) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- The inverse method application for non-classical logics (Q2806784) (← links)
- Formalised Inductive Reasoning in the Logic of Bunched Implications (Q3611996) (← links)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403) (← links)
- (Q4300705) (← links)