Pages that link to "Item:Q3097869"
From MaRDI portal
The following pages link to Computing Minimal Axiomatizations in Godel Propositional Logic (Q3097869):
Displaying 6 items.
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- Gentzen type axiomatization for PAL (Q3976050) (← links)
- (Q4437809) (← links)
- (Q4965820) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473749) (← links)