Pages that link to "Item:Q1277794"
From MaRDI portal
The following pages link to Logic at work. Essays dedicated to the memory of Helena Rasiowa (Q1277794):
Displayed 9 items.
- An adaptive logic based on Jaśkowski's approach to paraconsistency (Q853810) (← links)
- Yes fellows, most human reasoning is complex (Q1024143) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- The undecidability of propositional adaptive logic (Q2460176) (← links)
- Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case (Q3647311) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- A completeness theorem for higher order logics (Q4508267) (← links)
- 2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650300) (← links)
- Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)