Categorical abstract algebraic logic. Metalogical properties

DOI10.1023/A:1025167200338zbMath1030.03049OpenAlexW1506976087MaRDI QIDQ1402587

George Voutsadakis

Publication date: 28 August 2003

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

Full work available at URL: https://doi.org/10.1023/a:1025167200338

zbMATH Keywords

algebraizable logicsCraig interpolationdisjunction propertyadjunctions\(\pi\)-institutionsRobinson consistencyLindenbaum propertyconjunction propertydeduction-detachment propertyequivalent deductive systemsequivalent institutions

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (1)

Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity

This page was built for publication: Categorical abstract algebraic logic. Metalogical properties