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)
• Paraconsistent vagueness: a positive argument (Q408334) (← 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)
• Remarks on special lattices and related constructive logics with strong negation (Q757363) (← links)
• Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
• The class of extensions of Nelson's paraconsistent logic (Q813085) (← 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)
• On the structure of involutive, contracting and expanding negations (Q1414763) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• Adjoint negations, more than residuated negations (Q1671770) (← 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)
• On the representation of \(\mathbf{N4}\)-lattices (Q1826936) (← links)
• Curry's paradox in contractionless constructive logic (Q1914375) (← 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)
• Notes on constructive negation (Q2500818) (← links)
• Complemented MacNeille completions and algebras of fractions (Q2694744) (← links)
• Maximal paraconsistent extension of Johansson logic (Q2770968) (← links)
• On a generalization of the principle \textit{reductio ad absurdum} (Q2885196) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• LC and Its Pretabular Relatives (Q3305421) (← links)