Publication:2735802
From MaRDI portal
zbMath0974.03031MaRDI QIDQ2735802
No author found.
Publication date: 4 September 2001
intermediate logics; relational proof systems; fork algebras; fork logics; interpretability in relational logics; Rasiowa-Sikorski-style deduction systems
03G15: Cylindric and polyadic algebras; relation algebras
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
Related Items
A multimodal logic for reasoning about complementarity, Interpretability of first-order linear temporal logics in fork algebras, Rasiowa-Sikorski deduction systems in computer science applications., Compiling dyadic first-order specifications into map algebra