Interpretations of classical implicational sentential calculus in nonclassical implicational calculi

DOI10.1007/BF02120866MaRDI QIDQ1218834zbMATH OpenOpenAlexFDO

Authors Tadeusz Prucnal

Publication date 1974

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02120866

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Intermediate logics (03B55)

Cites work

• The deduction theorem for Lukasiewicz many-valued propositional calculi
• The problem of reconstructability of propositional calculi

Cited in

(1)

• The pleasures of anticipation: Enriching intuitionistic logic

This page was built for publication: Interpretations of classical implicational sentential calculus in nonclassical implicational calculi

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