Pages that link to "Item:Q1743996"
From MaRDI portal
The following pages link to Semi-intuitionistic logic with strong negation (Q1743996):
Displaying 17 items.
- A square of oppositions in intuitionistic logic with strong negation (Q346768) (← links)
- Gentzen-style sequent calculus for semi-intuitionistic logic (Q514513) (← links)
- Semi-intuitionistic logic (Q763323) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- On the degree of complexity of sentential logics. II: An example of the logic with semi-negation (Q1061118) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Semi-intuitionistic logic with strong negation (Q1743996) (← links)
- Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION (Q4295249) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
- (Q5411478) (← links)
- (Q5855500) (← links)
