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 logicNon-classical negation in the works of Helena Rasiowa and their impact on the theory of negationSequent systems for negative modalitiesProvability multilattice logicIMPROVING STRONG NEGATIONExecutability and connexivity in an interpretation of GrissConstructive logic with strong negation is a substructural logic. IOn Split Negation, Strong Negation, Information, Falsification, and VerificationK3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for YouTowards a semantics based on the notion of justificationDual realizability in symmetric logicA Notion of C-Justification for Empirical StatementsOn the Methodology of Paraconsistent LogicWhy Paraconsistent Logics?Multi-agent Systems and Paraconsistent KnowledgeAn epistemic approach to paraconsistency: a logic of evidence and truthInconsistent Models (and Infinite Models) for Arithmetics with Constructible FalsityOn Definability of Connectives and Modal Logics over FDECompatibly involutive residuated lattices and the Nelson identityOn the Philosophy and Mathematics of the Logics of Formal InconsistencyOn recent applications of paraconsistent logic: an exploratory literature reviewIntroduction: 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 LogicsDiamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic




This page was built for publication: