Pages that link to "Item:Q932098"
From MaRDI portal
The following pages link to Constructive negations and paraconsistency (Q932098):
Displaying 50 items.
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
- Priest on Negation (Q3305669) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- Connexive logics. An overview and current trends (Q3387885) (← links)
- Connexive Conditional Logic. Part I (Q3387894) (← 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)
- (Q4012256) (← links)
- (Q4392719) (← links)
- (Q4440572) (← links)
- (Q4532132) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- (Q5100007) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- (Q5149133) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Avoiding Impossibility Theorems in Radical Inquisitive Semantics (Q5213657) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- Negative Modalities in the Light of Paraconsistency (Q5350350) (← links)
- (Q5411405) (← links)
- Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem (Q5412176) (← links)
- Converse Ackermann property and constructive negation defined with a negation connective (Q5437781) (← links)
- (Q5695179) (← links)
- Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause (Q5864196) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Idempotent full paraconsistent negations are not algebraizable (Q5937811) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- On finitely-generated Johansson algebras (Q6116351) (← links)
- An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
- Reasoning with belief functions over Belnap-Dunn logic (Q6560993) (← links)
- On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
- Pretabularity and Craig's interpolation problem over the minimal logic (Q6587379) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
- Natural deduction for assertibility and deniability (Q6659897) (← links)
- Cyclic negations and four-valuedness (Q6659910) (← links)
- A basic system of paraconsistent Nelsonian logic of conditionals. (Q6661238) (← links)
