Pages that link to "Item:Q1905252"
From MaRDI portal
The following pages link to The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective (Q1905252):
Displaying 5 items.
- On some compatible operations on Heyting algebras (Q763330) (← links)
- A new regular constant in intuitionistic propositional logic (Q1357985) (← links)
- On the completeness of a new intuitionistic connective (Q1387337) (← links)
- On an extension of Gabbay's logic (Q1972663) (← links)
- Definitions: the primitive concept of logics or The Leśniewski–Tarski legacy (Q4531955) (← links)