Completeness theorems for two propositional logics in which identity diverges from mutual entailment

DOI10.1305/NDJFL/1093883462MaRDI QIDQ754861zbMATH OpenOpenAlexFDO

Authors Philip Hugly, Charles Sayward

Publication date 1981

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

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

zbMATH Keywords

completeness theoremsmodel theory for entailmentmutual entailmentpropositional identitypropositional logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Model theory (03C99)

This page was built for publication: Completeness theorems for two propositional logics in which identity diverges from mutual entailment

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