Analytic implication
The idea of so-called analytic implication put forward by W. T. Parry may be described informally as follows: a proposition A analytically implies another proposition B iff (1) A necessarily (or strictly) implies B and (2) the constitutive content of B is contained in the constitutive content of A. In this paper a formalized theory of analytic implication is developed by way of introducing a new relation 'A\(\preccurlyeq B'\) to be read as the constitutive content of A is included in that of B. If this relation is assumed to form a lattice (and moreover to hold necessarily where the underlying logic of necessity is S4), it can be shown that the resulting system for analytic implication to be defined as \((A\to B):=\square (A\supset B)\wedge (B\preccurlyeq A)\) is equivalent to Parry's original system.
- Paraconsistent analytic implication
- scientific article; zbMATH DE number 1329034
- Algebraic analysis of demodalised analytic implication
- scientific article; zbMATH DE number 2219633
- Aspects of analytic deduction
- Sufficient conditions for analyticity
- scientific article; zbMATH DE number 2020138
- Paradox of analyticity and related issues
- scientific article; zbMATH DE number 833906
- scientific article; zbMATH DE number 2010013
- The completeness of S
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- A simple sequent calculus for Angell's logic of analytic containment
- Lewis meets Brouwer: constructive strict implication
- Semantics for analytic containment
- A complete minimal logic of the propositional contents of thought
- Logics of nonsense and Parry systems
- Simple hyperintensional belief revision
- The fundamental problem of logical omniscience
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Algebraic analysis of demodalised analytic implication
- Axiomatizing the logic of imagination
- Agglomerative algebras
- Correia semantics revisited
- Paraconsistency and analyticity
- Boolean connexive logics: semantics and tableau approach
- Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988
- scientific article; zbMATH DE number 2059849 (Why is no real title available?)
- A computational interpretation of conceptivism
- scientific article; zbMATH DE number 2097004 (Why is no real title available?)
- scientific article; zbMATH DE number 2097005 (Why is no real title available?)
- Dynamic hyperintensional belief revision
- Sextus Empiricus' fourth conditional and containment logic
- Semantical analysis of weak Kleene logics
- Topic-theoretic extensions of analytic implication
- Executability and connexivity in an interpretation of Griss
- Subject-matter and intensional operators. II: Applications to the theory of topic-sensitive intentional modals
- Indicative conditionals in awareness framework
- Epistemic logics for relevant reasoners
- A hyperintensional approach to positive epistemic possibility
- Topic theoretic invariantism
- Axiomatization of Boolean connexive logics with syncategorematic negation and modalities
- A topic-theoretic perspective on variable-sharing (from the black sheep of the family)
- Subject-matter and intensional operators. III: State-sensitive subject-matter and topic sufficiency
- New(ish) foundations for theories of entailment
- The logical development of pretense imagination
- Formalizing the conditionals of Diodorus Cronus and Chrysippus: logic and potential applications in human thinking
- Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics
- Possibilist models of executable arithmetic in an interpretation of Griss
- Generalized Epstein semantics for Parry systems
- Paraconsistent analytic implication
- The propositional objects of mental attitudes
This page was built for publication: Analytic implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090323)
