Algebraic analysis of demodalised analytic implication

DOI10.1007/S10992-019-09502-2MaRDI QIDQ2295595zbMATH OpenOpenAlexFDO

Authors Antonio Ledda, Francesco Paoli, Michele Pra Baldi

Publication date 14 February 2020

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-019-09502-2

zbMATH Keywords

abstract algebraic logicanalytic implicationdependence logicPłonka sumsregular varietiesrelevance logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract algebraic logic (03G27)

Recommendations

• scientific article; zbMATH DE number 2097004
• Semantics for analytic containment
• Paraconsistent analytic implication
• Di-algebraic semantics of logics
• scientific article; zbMATH DE number 66912

Cites work

• A computational interpretation of conceptivism
• A general framework for product representations: bilattices and beyond
• A modification of Parry's analytic implication
• A semantical theory of analytic implication
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Analytic implication
• scientific article; zbMATH DE number 4061208 (Why is no real title available?)
• scientific article; zbMATH DE number 4061209 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 589741 (Why is no real title available?)
• scientific article; zbMATH DE number 1852853 (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
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• New axiomatics for relevant logics. I
• On a method of construction of abstract algebras
• On distributive quad-lattices
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• On regular and regularized varieties
• Relevant logics obeying component homogeneity
• Some remarks on sums of direct systems of algebras

Cited in

(8)

• Analytic implication
• Containment logics: algebraic completeness and axiomatization
• Tableaux for logics of content relationship and set-assignment semantics
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
• History of relating logic. The origin and research directions
• Containment logics: Algebraic Counterparts and Reduced Models
• Enriched Płonka sums
• Left variable inclusion logics associated with classical logic

This page was built for publication: Algebraic analysis of demodalised analytic implication

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