scientific article; zbMATH DE number 3504935

zbMath0323.02030MaRDI QIDQ4085699

Publication date: 1975

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)

Related Items (only showing first 100 items - show all)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ QUANTIFIED MODAL RELEVANT LOGICS ⋮ Deduction theorems within RM and its extensions ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ The Logic of Bunched Implications ⋮ Relevant logic as a basis for paraconsistent epistemic logics ⋮ A comment on relevant truth table logic ⋮ Questions to Michael Dunn ⋮ Implication, Equivalence, and Negation ⋮ Devising the set of abnormalities for a given defeasible rule ⋮ Pure Variable Inclusion Logics ⋮ Incorporating the Relation into the Language? ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ ‘New continents’: The logical system of Josiah Royce ⋮ Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ A knowledge representation perspective: Logics for paraconsistent reasoning ⋮ The defective conditional in mathematics ⋮ Intuitive counterexamples for constructive fallacies ⋮ Substructural epistemic logics ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ METAVALUATIONS ⋮ Singly generated quasivarieties and residuated structures ⋮ A sequent calculus for reasoning in four-valued Description Logics ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ A Mystery of Grzegorczyk’s Logic of Descriptions ⋮ REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Knowledge representation as domain ⋮ The need for a dialectical tier in arguments ⋮ Gentzenizations of relevant logics with distribution ⋮ Unnamed Item ⋮ A framework for knowledge-based systems ⋮ COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Two pretabular linear extensions of relevance logic R ⋮ Fibred tableaux for multi-implication logics ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ Noisy vs. Merely Equivocal Logics ⋮ A Paraconsistent and Substructural Conditional Logic ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS ⋮ The Universe of Approximations ⋮ Semantical analysis of weak Kleene logics ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Distributed Relation Logic ⋮ In Defence of Dialetheism: A Reply to Beziau and Tkaczyk ⋮ Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) ⋮ Dual binary discriminator varieties ⋮ An Explanation for the Ternary Relation R in the Relational Semantics of Relevance Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ Why Paraconsistent Logics? ⋮ A Survey of Annotated Logics ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ Modal translation of substructural logics ⋮ A Strange Remark Attributed to Gödel ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ A simple signed system for paraconsistent reasoning ⋮ Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ From Possibility Theory to Paraconsistency ⋮ Logic—The Big Picture ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ Super-Strict Implications ⋮ Grounding rules for (relevant) implication ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Relevance Logic as a Conservative Extension of Classical Logic ⋮ Implicational Logic, Relevance, and Refutability ⋮ A Poly-Connexive Logic ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion ⋮ Semi-implication: A Chapter in Universal Logic ⋮ Leibnizian Intensional Semantics for Syllogistic Reasoning ⋮ CUT FOR CLASSICAL CORE LOGIC ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) ⋮ Theorems of Alternatives for Substructural Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ What Is Negation in a System 2020? ⋮ Relevance Domains and the Philosophy of Science ⋮ Comments on the Papers ⋮ A Critical Examination of the Historical Origins of Connexive Logic ⋮ A Logical Autobiography ⋮ Relevance-Sensitive Truth-Trees ⋮ Tarskian Classical Relevant Logic ⋮ Beth Definability in the Logic KR ⋮ Revisiting Semilattice Semantics ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics ⋮ Comments on the Contributions

This page was built for publication: