Editorial introduction

DOI10.1007/S11225-024-10147-9MaRDI QIDQ6642818zbMATH OpenFDO

Authors

Publication date 25 November 2024

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Conference proceedings and collections of articles (00Bxx)

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 139652 (Why is no real title available?)
• scientific article; zbMATH DE number 603763 (Why is no real title available?)
• scientific article; zbMATH DE number 1852853 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 6418709 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• A calculus of antinomics
• A hierarchy of classical and paraconsistent logics
• A logical modeling of severe ignorance
• A new view of effects in a Hilbert space
• Abstract algebraic logic. An introductory textbook
• An algebraic view of super-Belnap logics
• An epistemic interpretation of paraconsistent weak Kleene logic
• An infinity of super-Belnap logics
• Angellic content
• Belnap's Four-Valued Logic and De Morgan Lattices
• Characterizing Belnap's Logic via De Morgan's Laws
• Characterizing logical consequence in paraconsistent weak Kleene
• Completeness via correspondence for extensions of the logic of paradox
• Conjunction and disjunction in infectious logics
• Containment logics: algebraic completeness and axiomatization
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Dimensions of truth
• Game theoretical semantics for some non-classical logics
• Gentzen's cut-free calculus versus the logic of paradox
• Handbook of philosophical logic. Vol. 6
• Injective de Morgan and Kleene Algebras
• Lattices With Involution
• Logics based on linear orders of contaminating values
• Logics of left variable inclusion and Płonka sums of matrices
• Logics of variable inclusion
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Metainferential logics
• Natural deduction for three-valued regular logics
• Natural deduction systems for logics in the FDE family
• New essays on Belnap-Dunn logic
• Off-topic: a new interpretation of weak Kleene logic
• On Priest's logic of paradox
• On a method of construction of abstract algebras
• On bivalent semantics and natural deduction for some infectious logics
• On equational classes of abstract algebras defined by regular equations
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• On regular and regularized varieties
• Outline of a Theory of Truth
• Proof theory of paraconsistent weak Kleene logic
• Restricted rules of inference and paraconsistency
• ST, LP and tolerant metainferences
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Saving truth from paradox
• Semantical analysis of weak Kleene logics
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• The logic of paradox
• The logics of strict-tolerant logic
• The semantics and proof theory of linear logic
• Tolerant, classical, strict

Cited in

(1)

• An observer-based approach to the sorites paradox and the logic derived from that

This page was built for publication: Editorial introduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642818)