Pure variable inclusion logics
From MaRDI portal
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
- A modification of Parry's analytic implication
- A Note on Goddard and Routley's Significance Logic
- 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
- 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?)
- 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
(12)- A variable-free logic for mass terms
- Containment logics: algebraic completeness and axiomatization
- Meaningless divisions
- Logics of left variable inclusion and Płonka sums of matrices
- 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 variable inclusion and the lattice of consequence relations
- Pure Refined Variable Inclusion Logics
- Restricted rules of inference and paraconsistency
- Relational companions of logics
- Generalized explosion principles
- Left variable inclusion logics associated with classical logic
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)
