Pages that link to "Item:Q4007158"
From MaRDI portal
The following pages link to Axiomatic System, Deduction and Implication (Q4007158):
Displaying 12 items.
- Fragments of R-mingle (Q1770601) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- RETRPROV. A system that looks for axioms (Q2565056) (← links)
- (Q3210192) (← links)
- (Q3714092) (← links)
- (Q3781064) (← links)
- Multiplicative conjunction and an algebraic meaning of contraction and weakening (Q4227869) (← links)
- A practical implementation of simple consequence relations using inductive definitions (Q5234714) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- A System for Strict Implication (Q5596729) (← links)
- Relevant consequence relations: an invitation (Q6638234) (← links)