About finite predicate logic

DOI10.1007/BF00370273zbMath0618.03002OpenAlexW2035565023MaRDI QIDQ1088979

Herman Dishkant

Publication date: 1986

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

Full work available at URL: https://doi.org/10.1007/bf00370273

zbMATH Keywords

modal logicdata basesalgebraic propertiesfinite mathematicsfinite predicates

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatorial aspects of finite geometries (05B25) Data structures (68P05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• An algebraic approach to non-classical logics

This page was built for publication: About finite predicate logic