Pages that link to "Item:Q2574114"

The following pages link to Continuous approximations of product implication in MV-algebras with product (Q2574114):

Displaying 2 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• Ł\(\Pi\) logic with fixed points (Q953281) (← links)