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

DOI10.1007/978-3-319-70821-8zbMath1441.03002OpenAlexW2780986050MaRDI QIDQ1683263

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) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Intermediate logics (03B55)

Related Items (14)

History of Relating Logic. The Origin and Research Directions ⋮ Pure Variable Inclusion Logics ⋮ The nature of entailment: an informational approach ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Topic-theoretic extensions of analytic implication ⋮ Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals ⋮ Revisiting Reichenbach's logic ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ Algebraic analysis of demodalised analytic implication ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Meaningless divisions ⋮ Agglomerative algebras ⋮ Poly-connexivity: connexive conjunction and disjunction

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