Logic at work. Essays dedicated to the memory of Helena Rasiowa
From MaRDI portal
Publication:1277794
zbMath0910.00016MaRDI QIDQ1277794
No author found.
Publication date: 7 March 1999
Published in: Studies in Fuzziness and Soft Computing (Search for Journal in Brave)
00B15: Collections of articles of miscellaneous specific interest
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
A completeness theorem for higher order logics, 2002–2003 Winter Meeting of the Association for Symbolic Logic, Decidability of cylindric set algebras of dimension two and first-order logic with two variables, An adaptive logic based on Jaśkowski's approach to paraconsistency, Yes fellows, most human reasoning is complex, The complexity of the temporal logic with ``until over general linear time, The undecidability of propositional adaptive logic, Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case, Relational semantics and a relational proof system for full Lambek calculus