On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics

DOI10.1093/jigpal/2.1.55zbMath0853.03020OpenAlexW2071265130MaRDI QIDQ4318163

Josep Maria Font, Ramon Jansana

Publication date: 6 January 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/2.1.55

zbMATH Keywords

logical systemalgebraic semanticslogical matricescylindric algebrasalgebraic structuresalgebraization of first-order logicalgebraizable sentential logicsequivalential sentential logicsstrongly nice general logicsstrongly semi-nice general logics

Mathematics Subject Classification ID

Algebraic logic (03G99) Cylindric and polyadic algebras; relation algebras (03G15) Abstract deductive systems (03B22)

Related Items

Algebraic Characterization of the Local Craig Interpolation Property, Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic