On modal renderings of intuitionistic propositional logic

DOI10.1305/NDJFL/1093958621MaRDI QIDQ2528923zbMATH OpenOpenAlexFDO

Authors Nicholas Rescher

Publication date 1966

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

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

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(17)

• Modal companions of intermediate propositional logics
• Deontic logic without deontic operators
• Oskar Becker and the modal translation of intuitionistic logic
• On interactive proof-search for constructive modal necessity
• Sur la syllogistique deontique de Zdzislaw Ziemba
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• scientific article; zbMATH DE number 3865242 (Why is no real title available?)
• scientific article; zbMATH DE number 3981153 (Why is no real title available?)
• On an intuitionistic logic for pragmatics
• scientific article; zbMATH DE number 3448550 (Why is no real title available?)
• New foundations for imperative logic. III: A general definition of argument validity
• Channel theoretic reflections on dynamic logics of speech acts
• New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
• scientific article; zbMATH DE number 5235522 (Why is no real title available?)
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• scientific article; zbMATH DE number 7668093 (Why is no real title available?)
• In defense of imperative inference

This page was built for publication: On modal renderings of intuitionistic propositional logic

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