Pages that link to "Item:Q1111536"
From MaRDI portal
The following pages link to Nonstandard connectives of intuitionistic propositional logic (Q1111536):
Displaying 11 items.
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness (Q1288137) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- What is a relevant connective? (Q2155944) (← links)
- A Non-clausal Connection Calculus (Q3010371) (← links)
- (Q3127428) (← links)
- A HEDGE FOR GÖDEL FUZZY LOGIC (Q3427897) (← links)
- An algebraic approach to intuitionistic connectives (Q4328824) (← links)
- A Note on Calculi for Non-deterministic Many-valued Logics (Q5038570) (← links)
- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different? (Q5213614) (← links)
- (Q5365520) (← links)
