scientific article
From MaRDI portal
Publication:2904066
zbMath1254.03046MaRDI QIDQ2904066
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Choice-free topological duality for implicative lattices and Heyting algebras, Order-dual relational semantics for non-distributive propositional logics: a general framework, Lattice logic as a fragment of (2-sorted) residuated modal logic, Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators, Modal translation of substructural logics
