Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms

DOI10.1002/malq.19870330306zbMath0607.03020OpenAlexW1997266658MaRDI QIDQ3745838

Ventura Verdú

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330306

zbMATH Keywords

closure operatorsclosure systemsabstract logicsbi-logical morphismsdeduction propertyprojectively generated logics

Mathematics Subject Classification ID

Algebraic logic (03G99)

Related Items (4)

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ The lattice of distributive closure operators over an algebra ⋮ A first approach to abstract modal logics ⋮ An abstract algebraic logic approach to tetravalent modal logics

This page was built for publication: Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms