scientific article; zbMATH DE number 2154581

MaRDI QIDQ4665116zbMATH OpenFDO

Authors Werner Gähler

Publication date 9 April 2005

zbMATH Keywords

monadic operationsmonoidal predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Cited in

(13)

• Logic, topology, and integration
• Topologies for intermediate logics
• scientific article; zbMATH DE number 5610455 (Why is no real title available?)
• Generalized topologies with associating function and logical applications
• A topological characterization of consistency of logic theories in propositional logic
• Topological Semantics of Justification Logic
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• scientific article; zbMATH DE number 6787689 (Why is no real title available?)
• Formalising basic topology for computational logic in simple type theory
• Morpho-logic from a topos perspective -- application to symbolic AI

This page was built for publication:

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