Pages that link to "Item:Q4141242"
From MaRDI portal
The following pages link to An algebraic approach to the Heyting-Brouwer predicate calculus (Q4141242):
Displaying 4 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)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
