Pages that link to "Item:Q1132083"
From MaRDI portal
The following pages link to A completeness-proof method for extensions of the implicational fragment of the propositional calculus (Q1132083):
Displaying 5 items.
- On the Propagation of Consistency in Some Systems of Paraconsistent Logic (Q3295789) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Consequence–Inconsistency Interrelation: In the Framework of Paraconsistent Logics (Q5241528) (← links)
- Lindenbaum-type logical structures (Q6043098) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)