Logic at work. Essays dedicated to the memory of Helena Rasiowa

No author found.

Publication date: 7 March 1999

Published in: Studies in Fuzziness and Soft Computing (Search for Journal in Brave)

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items

An adaptive logic based on Jaśkowski's approach to paraconsistency, The complexity of the temporal logic with ``until over general linear time, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Degrees of Validity and the Logical Paradoxes, The undecidability of propositional adaptive logic, 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, Yes fellows, most human reasoning is complex, Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case, Relational semantics and a relational proof system for full Lambek calculus, A completeness theorem for higher order logics, A Logical Autobiography, Comments on the Contributions