Interpretations of classical implicational sentential calculus in nonclassical implicational calculi

DOI10.1007/BF02120866zbMath0309.02008OpenAlexW2009924438MaRDI QIDQ1218834

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)

Related Items (1)

The pleasures of anticipation: Enriching intuitionistic logic

Cites Work

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

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