scientific article; zbMATH DE number 3412605
From MaRDI portal
Publication:5677463
zbMath0262.02027MaRDI QIDQ5677463
No author found.
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Inference as doxastic agency. I: The basics of justification stit logic ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On deductive bases for paraconsistent answer set semantics ⋮ Belnap Constants and Nelson Logic ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ Natural deduction for dual-intuitionistic logic ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic ⋮ Informational interpretation of substructural propositional logics
This page was built for publication:
