Pages that link to "Item:Q855228"

From MaRDI portal

← Alternative proof of standard completeness theorem for MTL (Q855228)

Jump to:navigation, search

The following pages link to Alternative proof of standard completeness theorem for MTL (Q855228):

Displaying 3 items.

Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669) (← links)
Archimedean classes in integral commutative residuated chains (Q3632529) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"