Decision procedures for logics of consequential implication

DOI10.1305/NDJFL/1093635934zbMath0746.03007OpenAlexW1995575236MaRDI QIDQ1182703

Claudio E. A. Pizzi

Publication date: 28 June 1992

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

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

zbMATH Keywords

decision procedureconnexive implicationconsequential implicationsynthetic conditionals

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (5)

Two kinds of consequential implication ⋮ Strong Boethius' thesis and consequential implication ⋮ The implicative conditional ⋮ Aristotle's Thesis between paraconsistency and modalization ⋮ Conditional excluded middle in systems of consequential implication

This page was built for publication: Decision procedures for logics of consequential implication