scientific article
From MaRDI portal
Publication:2735802
zbMath0974.03031MaRDI QIDQ2735802
No author found.
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intermediate logicsrelational proof systemsfork algebrasfork logicsinterpretability in relational logicsRasiowa-Sikorski-style deduction systems
Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (4)
A multimodal logic for reasoning about complementarity ⋮ Rasiowa-Sikorski deduction systems in computer science applications. ⋮ Compiling dyadic first-order specifications into map algebra ⋮ Interpretability of first-order linear temporal logics in fork algebras
This page was built for publication:
