Pages that link to "Item:Q4434609"
From MaRDI portal
The following pages link to Algebraic Semantics for Paraconsistent Nelson's Logic (Q4434609):
Displaying 47 items.
- Hoop twist-structures (Q334145) (← links)
- Bilattices with implications (Q368472) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Generalized Kripke semantics for Nelson's logic (Q694210) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← 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)
- Constructive negations and paraconsistency (Q932098) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291) (← links)
- On the representation of \(\mathbf{N4}\)-lattices (Q1826936) (← links)
- Residuated bilattices (Q1933771) (← links)
- An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Algebraic semantics for quasi-Nelson logic (Q2303609) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- A Model-Theoretic Analysis of Fidel-Structures for mbC (Q3305664) (← links)
- Non-involutive twist-structures (Q3386908) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Twist-structures semantics for the logics of the hierarchy <i>I<sup>n</sup>P<sup>k</sup></i> (Q3647296) (← links)
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic (Q3656764) (← links)
- On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
- Modal twist-structures over residuated lattices (Q5172134) (← links)
- Dualities for modal N4-lattices (Q5172143) (← links)
- Transfer theorems for extensions of the paraconsistent Nelson logic (Q5294718) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- OUP accepted manuscript (Q5894705) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)
- Algebraizability of the logic of quasi-N4-lattices (Q6659913) (← links)
