Pages that link to "Item:Q3520231"
From MaRDI portal
The following pages link to A note on the first‐order logic of complete BL‐chains (Q3520231):
Displayed 10 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On annihilators in BL-algebras (Q317875) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- EBL-algebras (Q2156558) (← links)
- (φ,ψ)-derivations of <i>BL-algebras</i> (Q3130279) (← links)
- PURE IDEALS AND STABLE TOPOLOGY IN BL-ALGEBRAS (Q5076072) (← links)
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)
- Introduction (Q5892200) (← links)
- Ordinal sums: from triangular norms to bi- and multivariate copulas (Q6083064) (← links)