Pages that link to "Item:Q4141242"

The following pages link to An algebraic approach to the Heyting-Brouwer predicate calculus (Q4141242):

Displaying 3 items.

• Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets (Q581388) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Applications of Kripke models to Heyting-Brouwer logic (Q1239313) (← links)