Pages that link to "Item:Q1249170"

The following pages link to Notes on \(\eta\)-lattices and constructive logic with strong negation (Q1249170):

Displaying 50 items.

• Hoop twist-structures (Q334145) (← links)
• Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
• A map of dependencies among three-valued logics (Q497633) (← links)
• Representation of Nelson algebras by rough sets determined by quasiorders (Q647309) (← links)
• Priestley duality for paraconsistent Nelson's logic (Q708928) (← 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)
• Equilibrium logic (Q854969) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety (Q917539) (← links)
• Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
• Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
• On some categories of involutive centered residuated lattices (Q1005951) (← links)
• Behavioral algebraization of logics (Q1005974) (← links)
• On axiomatizing Shramko-Wansing's logic (Q1015493) (← 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)
• On extensions of intermediate logics by strong negation (Q1386683) (← links)
• A logic for rough sets (Q1391755) (← links)
• Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← 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)
• A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
• Paraconsistent Gödel modal logic (Q2104534) (← links)
• A categorical equivalence for tense Nelson algebras (Q2115290) (← links)
• Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
• Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
• A duality for two-sorted lattices (Q2156992) (← links)
• Twist structures and Nelson conuclei (Q2157599) (← links)
• Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
• Quasi-Nelson algebras (Q2333675) (← links)
• The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
• Kleene algebras with implication (Q2362883) (← links)
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
• Semi-Nelson algebras (Q2413410) (← links)
• The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
• Implicative twist-structures (Q2449455) (← links)
• Discrete duality for Nelson algebras with tense operators (Q2699011) (← links)
• Paraconsistent Modal Logics (Q2825416) (← links)
• Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
• The logic Ł^• (Q2933737) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• Quasi-subtractive varieties (Q3107353) (← links)
• Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces (Q3299872) (← links)
• On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
• Constructive negation, implication, and co-implication (Q3643320) (← links)