Pure variable inclusion logics
From MaRDI portal
Publication:5066089
DOI10.12775/LLP.2021.015zbMATH Open1496.03117OpenAlexW3216921040MaRDI QIDQ5066089FDOQ5066089
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
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
- Title not available (Why is that?)
- Theory of logical calculi. Basic theory of consequence operations
- The connectives
- Title not available (Why is that?)
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- On a method of construction of abstract algebras
- Selfextensional logics with a conjunction
- Taking degrees of truth seriously
- Logics of nonsense and Parry systems
- Title not available (Why is that?)
- Abstract algebraic logic. An introductory textbook
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Title not available (Why is that?)
- Partiality and its dual
- Proof theory of paraconsistent weak Kleene logic
- Deducibility and many-valuedness
- Begründung einer strengen Implikation
- Title not available (Why is that?)
- Characterizing logical consequence in paraconsistent weak Kleene
- Title not available (Why is that?)
- A modification of Parry's analytic implication
- Semantical analysis of weak Kleene logics
- Title not available (Why is that?)
- Relevant logics obeying component homogeneity
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Rivals to Belnap-Dunn logic on interlaced trilattices
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Simple hyperintensional belief revision
- Containment logics: algebraic completeness and axiomatization
- Logics of left variable inclusion and Płonka sums of matrices
- Logics based on linear orders of contaminating values
- Relating semantics as fine-grained semantics for intensional logics
- Extensions of paraconsistent weak Kleene logic
- A Note on Goddard and Routley's Significance Logic
- Sextus Empiricus' fourth conditional and containment logic
Cited In (8)
- Logics of variable inclusion and the lattice of consequence relations
- Restricted rules of inference and paraconsistency
- Title not available (Why is that?)
- 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)
