Pages that link to "Item:Q3257770"

The following pages link to N-lattices and constructive logic with strong negation (Q3257770):

Displaying 33 items.

• A square of oppositions in intuitionistic logic with strong negation (Q346768) (← links)
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
• Nelson algebras through Heyting ones. I (Q750474) (← links)
• The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
• Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
• Some investigations of varieties of \({\mathcal N}\)-lattices (Q1071022) (← links)
• The Craig interpolation theorem for propositional logics with strong negation (Q1071753) (← links)
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350) (← links)
• Intuitionistic logic with strong negation (Q1241438) (← links)
• Notes on \(\eta\)-lattices and constructive logic with strong negation (Q1249170) (← links)
• On extensions of intermediate logics by strong negation (Q1386683) (← links)
• Semi-intuitionistic logic with strong negation (Q1743996) (← links)
• Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
• An algebraic study of tense operators on Nelson algebras (Q2021568) (← links)
• Twist structures and Nelson conuclei (Q2157599) (← links)
• Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
• Semi-Nelson algebras (Q2413410) (← links)
• Discrete duality for Nelson algebras with tense operators (Q2699011) (← links)
• Paraconsistent modal logics (Q2825416) (← links)
• Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
• The logic Ł^• (Q2933737) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
• Diagrammatic duality (Q4586421) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• Belnap Constants and Nelson Logic (Q5350349) (← links)
• Boolean elements in Lukasiewicz algebras, I (Q5553261) (← links)
• A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
• Tense operators on distributive lattices with implication (Q6115855) (← links)
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949) (← links)
• Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)