Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry

DOI10.1007/978-3-319-70821-8MaRDI QIDQ1683263zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson

Publication date 6 December 2017

Published in Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-70821-8

zbMATH Keywords

first-degree entailmentAnalytic implicationcontainment logicproscription principle

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Intermediate logics (03B55)

Recommendations

• Logics of nonsense and Parry systems
• Paraconsistency and analyticity
• Analytic implication
• Semantics for analytic containment
• Faulty Belnap computers and subsystems of FDE

Cited in

(26)

• Pure variable inclusion logics
• Proof theory of paraconsistent weak Kleene logic
• Revisiting Reichenbach's logic
• Paraconsistency and analyticity
• Sextus Empiricus' fourth conditional and containment logic
• scientific article; zbMATH DE number 1748981 (Why is no real title available?)
• Algebraic analysis of demodalised analytic implication
• Correia semantics revisited
• scientific article; zbMATH DE number 2097004 (Why is no real title available?)
• Editorial introduction
• Epistemic logics for relevant reasoners
• History of relating logic. The origin and research directions
• Semantics for analytic containment
• The nature of entailment: an informational approach
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Containment logics: algebraic completeness and axiomatization
• Logics of nonsense and Parry systems
• Reading conclusions conjunctively
• Meaningless divisions
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Poly-connexivity: connexive conjunction and disjunction
• Faulty Belnap computers and subsystems of FDE
• Paraconsistent analytic implication
• Agglomerative algebras
• Topic-theoretic extensions of analytic implication
• Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals

This page was built for publication: Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry

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