Pure variable inclusion logics

DOI10.12775/LLP.2021.015MaRDI QIDQ5066089zbMATH OpenOpenAlexFDO

Authors Francesco Paoli, Michele Pra Baldi, Damian Szmuc

Publication date 29 March 2022

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

Full work available at URL https://doi.org/10.12775/llp.2021.015

zbMATH Keywords

weak Kleene logicssignificance logicslogics of variable inclusionPłonka sumsanalytic entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Logics of left variable inclusion and Płonka sums of matrices
• Logics of variable inclusion and the lattice of consequence relations
• A general characterization of the variable-sharing property by means of logical matrices
• Containment logics: algebraic completeness and axiomatization
• On purely relevant logics

Cites work

• scientific article; zbMATH DE number 5997426 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3472024 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (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?)
• A Note on Goddard and Routley's Significance Logic
• A modification of Parry's analytic implication
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Abstract algebraic logic. An introductory textbook
• Begründung einer strengen Implikation
• Characterizing logical consequence in paraconsistent weak Kleene
• Containment logics: algebraic completeness and axiomatization
• Deducibility and many-valuedness
• Extensions of paraconsistent weak Kleene logic
• Logics based on linear orders of contaminating values
• Logics of left variable inclusion and Płonka sums of matrices
• Logics of nonsense and Parry systems
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• On a method of construction of abstract algebras
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Partiality and its dual
• Proof theory of paraconsistent weak Kleene logic
• Relating semantics as fine-grained semantics for intensional logics
• Relevant logics obeying component homogeneity
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Selfextensional logics with a conjunction
• Semantical analysis of weak Kleene logics
• Sextus Empiricus' fourth conditional and containment logic
• Simple hyperintensional belief revision
• Taking degrees of truth seriously
• The connectives
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(8)

• Logics of variable inclusion and the lattice of consequence relations
• Restricted rules of inference and paraconsistency
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• A class of simpler logical matrices for the variable-sharing property
• Logics of left variable inclusion and Płonka sums of matrices
• Containment logics: algebraic completeness and axiomatization
• Meaningless divisions
• A variable-free logic for mass terms

This page was built for publication: Pure variable inclusion logics

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