Pages that link to "Item:Q2194111"
From MaRDI portal
The following pages link to Truthmaker semantics for relevant logic (Q2194111):
Displaying 8 items.
- Truth-maker semantics for intuitionistic logic (Q484121) (← links)
- A theory of truthmaker content. I: Conjunction, disjunction and negation (Q1696468) (← links)
- A reinterpretation of the semilattice semantics with applications (Q2045003) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- (Q3464622) (← links)
- LOGIC FOR EXACT ENTAILMENT (Q5241232) (← links)
- Conjunctive paraconsistency (Q6147152) (← links)
- PROOF SYSTEMS FOR EXACT ENTAILMENT (Q6148475) (← links)