On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
From MaRDI portal
Publication:4318163
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
logical systemalgebraic semanticslogical matricescylindric algebrasalgebraic structuresalgebraization of first-order logicalgebraizable sentential logicsequivalential sentential logicsstrongly nice general logicsstrongly semi-nice general logics
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