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

(12)

• Semantical analysis of weak Kleene logics
• Pure variable inclusion logics
• Executability and connexivity in an interpretation of Griss
• A computational interpretation of conceptivism
• Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988
• Algebraic analysis of demodalised analytic implication
• Intuitive semantics for first-degree entailment and `coupled trees'
• Intuitive semantics for first-degree entailments and `coupled trees'
• The propositional objects of mental attitudes
• Lewis meets Brouwer: constructive strict implication
• Meeting of the Association for Symbolic Logic
• Topic-theoretic extensions of analytic implication

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)