A modification of Parry's analytic implication

DOI10.1305/ndjfl/1093894715zbMath0197.27503OpenAlexW1981671130MaRDI QIDQ2539850

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

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

Related Items (12)

Pure Variable Inclusion Logics ⋮ Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988 ⋮ A computational interpretation of conceptivism ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Topic-theoretic extensions of analytic implication ⋮ Executability and connexivity in an interpretation of Griss ⋮ The propositional objects of mental attitudes ⋮ Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’ ⋮ Semantical analysis of weak Kleene logics ⋮ Intuitive semantics for first-degree entailments and `coupled trees' ⋮ Algebraic analysis of demodalised analytic implication ⋮ Meeting of the Association for Symbolic Logic

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