scientific article
From MaRDI portal
Publication:3256323
zbMath0085.25004MaRDI QIDQ3256323
No author found.
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Sequent systems for negative modalities ⋮ Provability multilattice logic ⋮ IMPROVING STRONG NEGATION ⋮ Executability and connexivity in an interpretation of Griss ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Towards a semantics based on the notion of justification ⋮ Dual realizability in symmetric logic ⋮ A Notion of C-Justification for Empirical Statements ⋮ On the Methodology of Paraconsistent Logic ⋮ Why Paraconsistent Logics? ⋮ Multi-agent Systems and Paraconsistent Knowledge ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ On the Philosophy and Mathematics of the Logics of Formal Inconsistency ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
This page was built for publication: