scientific article; zbMATH DE number 1140580

From MaRDI portal

Revision as of 00:45, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4385350

Jump to:navigation, search

zbMath0898.03020MaRDI QIDQ4385350

Heinrich Wansing

Publication date: 1 November 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

persistence display logic Gödel modal translation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (7)

Monotone subintuitionistic logic: duality and transfer results ⋮ Unnamed Item ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ A closer look at some subintuitionistic logics ⋮ Bounded distributive lattices with strict implication ⋮ Display calculi and other modal calculi: a comparison ⋮ Predicate logical extensions of some subintuitionistic logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4385350&oldid=18391057"