Disjoint logics

DOI10.12775/LLP.2020.014MaRDI QIDQ5013619zbMATH OpenFDO

Authors Federico Matias Pailos

Publication date 2 December 2021

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2020.014

zbMATH Keywords

disjoint logicepistemic commitmentspermeabilitysubstructural logicsthree-valued logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Partial and paraconsistent three-valued logics
• Propositional mixed logic: its syntax and semantics
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• scientific article; zbMATH DE number 1775473
• Sequent calculi for three-valued logics

Cites work

• \textit{LFIs} and methods of classical recapture
• A new unified account of truth and paradox
• A paraconsistent route to semantic closure
• A Proof-Theoretic Approach to Logic Programming
• A survey of complexity results for non-monotonic logics
• Characterizing logical consequence in many-valued logic
• Classical negation and expansions of Belnap-Dunn logic
• Conservatively extending classical logic with transparent truth
• Contraction, infinitary quantifiers, and omega paradoxes
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 6316277 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• Partial inductive definitions
• Positive Arithmetic Without Exchange Is a Subclassical Logic
• Proof and Paradox
• Simple consequence relations
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• What's wrong with tonk(?)

Cited in

(8)

• Validities, antivalidities and contingencies: a multi-standard approach
• Propositional mixed logic: its syntax and semantics
• scientific article; zbMATH DE number 4025442 (Why is no real title available?)
• DISJUNCTIVITY
• On all pure three-valued logics
• Inferential-connexive mixed logics
• Naïve non-substructural solutions to the validity paradox
• Suprastructural logics

This page was built for publication: Disjoint logics

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