The finite model property for the implicational fragment of IPC without exchange and contraction

DOI10.1023/A:1005262630549zbMath0945.03028MaRDI QIDQ1970644

Clint J. van Alten, James G. Raftery

Publication date: 4 June 2000

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

zbMATH Keywords

relational semanticssubstructural logicKripke semanticsfinite model propertyalgebraizationimplicational fragmentleft residuation algebras

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices

This page was built for publication: The finite model property for the implicational fragment of IPC without exchange and contraction