A relational formalisation of arbitrary finite valued logics
From MaRDI portal
Publication:4221773
DOI10.1093/jigpal/6.5.755zbMath0922.03027OpenAlexW2003013521MaRDI QIDQ4221773
Charles G. Morgan, Ewa S. Orłowska, Beata Konikowska
Publication date: 11 October 1999
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/6.5.755
relational semanticsrelation algebrasmany-valued logicnatural deduction systemrelational calculusdeductive systems
Many-valued logic (03B50) Cylindric and polyadic algebras; relation algebras (03G15) Abstract deductive systems (03B22)
Related Items (2)
Post Algebras in the Work of Helena Rasiowa ⋮ Rasiowa-Sikorski deduction systems in computer science applications.
This page was built for publication: A relational formalisation of arbitrary finite valued logics
