Pages that link to "Item:Q1386683"

The following pages link to On extensions of intermediate logics by strong negation (Q1386683):

Displaying 28 items.

• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
• Generalized Kripke semantics for Nelson's logic (Q694210) (← links)
• Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
• The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
• A first order nonmonotonic extension of constructive logic (Q813086) (← 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)
• Behavioral algebraization of logics (Q1005974) (← links)
• On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
• Extensions of Priest-da Costa logic (Q2016069) (← links)
• Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
• Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
• Twist structures and Nelson conuclei (Q2157599) (← links)
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
• Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
• The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
• Semi-Nelson algebras (Q2413410) (← links)
• The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
• The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• On Axioms and Rexpansions (Q5020163) (← links)
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281) (← links)
• An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
• Structured specification of paraconsistent transition systems (Q6536437) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
• A logic for paraconsistent transition systems (Q6659915) (← links)