A modification of Parry's analytic implication

DOI10.1305/NDJFL/1093894715MaRDI QIDQ2539850zbMATH OpenOpenAlexFDO

Authors J. Michael Dunn

Publication date 1972

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093894715

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Decidability of theories and sets of sentences (03B25)

Cited in

(16)

• Lewis meets Brouwer: constructive strict implication
• Intuitive semantics for first-degree entailments and `coupled trees'
• Algebraic analysis of demodalised analytic implication
• Intuitive semantics for first-degree entailment and `coupled trees'
• Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988
• A computational interpretation of conceptivism
• Pure variable inclusion logics
• Semantical analysis of weak Kleene logics
• Meeting of the Association for Symbolic Logic
• Topic-theoretic extensions of analytic implication
• Executability and connexivity in an interpretation of Griss
• A simple paraconsistent logic without addition
• 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
• Generalized Epstein semantics for Parry systems
• The propositional objects of mental attitudes

This page was built for publication: A modification of Parry's analytic implication

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