A deductive-reductive form of logic: Intuitionistic S4 modalities
From MaRDI portal
Publication:4803959
DOI10.12775/LLP.2002.005zbMath1028.03012MaRDI QIDQ4803959
Publication date: 22 January 2004
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B22: Abstract deductive systems
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Proof theory of Nelson's paraconsistent logic: a uniform perspective, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality