Pages that link to "Item:Q3787971"
From MaRDI portal
The following pages link to A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971):
Displaying 6 items.
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- A new regular constant in intuitionistic propositional logic (Q1357985) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822) (← links)
- An extension of ono's completeness result (Q3032233) (← links)
- (Q4856241) (← links)