Pages that link to "Item:Q1241438"
From MaRDI portal
The following pages link to Intuitionistic logic with strong negation (Q1241438):
Displayed 23 items.
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Equilibrium logic (Q854969) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Informational interpretation of substructural propositional logics (Q1322438) (← links)
- Paraconsistent computation tree logic (Q1758667) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Semantics-based nonmonotonic inference (Q1903578) (← links)
- Partial up an down logic (Q1903583) (← links)
- Replacement in logic (Q1947034) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond (Q4531578) (← links)
- DYNAMIC NEGATION AND NEGATIVE INFORMATION (Q5323799) (← links)
- A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)