Pages that link to "Item:Q1241438"
From MaRDI portal
The following pages link to Intuitionistic logic with strong negation (Q1241438):
Displayed 41 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)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← 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)
- Modal multilattice logic (Q1682294) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- There is more to negation than modality (Q1749806) (← 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)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- A hierarchy of weak double negations (Q2016059) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics (Q2813672) (← links)
- Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
- Paraconsistent double negation as a modal operator (Q2958215) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← 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)
- On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
- DYNAMIC NEGATION AND NEGATIVE INFORMATION (Q5323799) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)