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

DOI10.1007/978-3-319-70821-8zbMATH Open1441.03002OpenAlexW2780986050MaRDI QIDQ1683263FDOQ1683263

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

Recommendations

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

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)

Cited In (26)

• Proof theory of paraconsistent weak Kleene logic
• Revisiting Reichenbach's logic
• Paraconsistency and analyticity
• Sextus Empiricus' fourth conditional and containment logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic analysis of demodalised analytic implication
• Correia semantics revisited
• Editorial introduction
• Epistemic logics for relevant reasoners
• History of relating logic. The origin and research directions
• The nature of entailment: an informational approach
• Semantics for analytic containment
• 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
• Pure variable inclusion logics

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)