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

DOI10.1007/978-3-319-70821-8MaRDI QIDQ1683263zbMATHOpenAlexFDO

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)

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