Minimally generated abstract logics

DOI10.1007/S11787-009-0007-0zbMath1255.03022OpenAlexW2092370259MaRDI QIDQ1931337

Steffen Lewitzka, Andreas B. M. Brunner

Publication date: 25 January 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-009-0007-0

zbMATH Keywords

connectivesabstract logicscomplete theories{\(\kappa\)}-prime theories\(\kappa\)-compactnessintersection structures

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

A shared framework for consequence operations and abstract model theory ⋮ Topological representation of intuitionistic and distributive abstract logics ⋮ \(\in_K\): a non-Fregean logic of explicit knowledge

Cites Work

• A survey of abstract algebraic logic
• The Suszko operator. I
• Abstract logics, logic maps, and logic homomorphisms
• A first approach to abstract modal logics
• Shorter Notes: Directed Unions and Chains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimally generated abstract logics