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 13 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)
- Degrees of Validity and the Logical Paradoxes (Q3295790) (← 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)
- A Logical Autobiography (Q5027230) (← links)
- Comments on the Contributions (Q5027252) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)