Pages that link to "Item:Q932098"

The following pages link to Constructive negations and paraconsistency (Q932098):

Displaying 50 items.

• Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
• Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
• Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
• The structure of slices over minimal logic (Q511341) (← links)
• Joint consistency in extensions of the minimal logic (Q606053) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Generalized Kripke semantics for Nelson's logic (Q694210) (← links)
• Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
• Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
• Hybrid extensions of the minimal logic (Q820493) (← links)
• Correspondence analysis for some fragments of classical propositional logic (Q828774) (← links)
• Recognizable logics (Q887647) (← links)
• On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• 40 years of FDE: an introductory overview (Q1685563) (← links)
• Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
• Admissibility in positive logics (Q1689558) (← links)
• Strong decidability and strong recognizability (Q1703280) (← links)
• Strong computability of slices over the logic GL (Q1707569) (← links)
• Slices and levels of extensions of the minimal logic (Q1745087) (← links)
• There is more to negation than modality (Q1749806) (← links)
• Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
• Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
• Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
• Modal bilattice logic and its extensions (Q2145869) (← links)
• Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
• Twist structures and Nelson conuclei (Q2157599) (← links)
• Proof theory for positive logic with weak negation (Q2193970) (← links)
• Classifying material implications over minimal logic (Q2204373) (← links)
• Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
• Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
• The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
• Layers over minimal logic (Q2364334) (← links)
• The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
• Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• LC and Its Pretabular Relatives (Q3305421) (← links)
• On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
• An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
• Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
• Priest on Negation (Q3305669) (← links)
• On Non-transitive “Identity” (Q3305680) (← links)
• Connexive logics. An overview and current trends (Q3387885) (← links)
• Connexive Conditional Logic. Part I (Q3387894) (← links)
• Constructive negation, implication, and co-implication (Q3643320) (← links)
• Twist-structures semantics for the logics of the hierarchy <i>IⁿP^k</i> (Q3647296) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)