Consequential implication: A correction

DOI10.1305/NDJFL/1093633911zbMath0788.03012OpenAlexW2074102547MaRDI QIDQ1317981

Claudio E. A. Pizzi

Publication date: 5 June 1994

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

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

zbMATH Keywords

decision procedureconsequential implicationcircumstantial operatorsmodel- validitytableaux-validity

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (2)

Strong Boethius' thesis and consequential implication ⋮ Conditional excluded middle in systems of consequential implication

This page was built for publication: Consequential implication: A correction