A deductive-reductive form of logic: Intuitionistic S4 modalities

DOI10.12775/LLP.2002.005MaRDI QIDQ4803959zbMATH OpenFDO

Authors Piotr Łukowski

Publication date 22 January 2004

Published in Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicdefinability of modal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22)

Recommendations

• A deductive-reductive form of logic: General theory and intuitionistic case
• scientific article; zbMATH DE number 3957057
• scientific article; zbMATH DE number 1252394
• scientific article; zbMATH DE number 1418447
• Modality and possibility in some intuitionistic modal logics

Cited in

(5)

• Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
• scientific article; zbMATH DE number 3957057 (Why is no real title available?)
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• A deductive-reductive form of logic: General theory and intuitionistic case
• Proof theory of Nelson's paraconsistent logic: a uniform perspective

This page was built for publication: A deductive-reductive form of logic: Intuitionistic S4 modalities

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