scientific article; zbMATH DE number 3412605
From MaRDI portal
Publication:5677463
Cited in
(30)- Informational interpretation of substructural propositional logics
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Valuation semantics for first-order logics of evidence and truth
- First-order logics of evidence and truth with constant and variable domains
- Compatibly involutive residuated lattices and the Nelson identity
- Inference rules in Nelson's logics, admissibility and weak admissibility
- Inference as doxastic agency. I: The basics of justification stit logic
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Inferential semantics, paraconsistency, and preservation of evidence
- On deductive bases for paraconsistent answer set semantics
- Belnap constants and Nelson logic
- A variant of Thomason's first-order logic CF based on situations
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
- Nelson algebras, residuated lattices and rough sets: A survey
- A note on synonymy in proof-theoretic semantics
- About opposition and duality in paraconsistent type theory
- Paraconsistent constructive modal logic
- Comparing sense and denotation in bilateralist proof systems for proofs and refutations
- Quantifiers in connexive logic (in general and in particular)
- Bi-connexive logic, bilateralism, and negation inconsistency
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- Natural deduction for dual-intuitionistic logic
- Variable domain first-order first-degree entailment and some of its children
- Abstract argumentation and answer set programming: two faces of Nelson's logic
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
- Extending computational trinitarianism
- Strong negation is definable in 2Int
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5677463)
