The following pages link to Piotr Wojtylak (Q195357):
Displaying 37 items.
- A proof system for classical logic (Q813076) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- An algorithm for the number of path homomorphisms (Q1045039) (← links)
- Matrix representations for structural strengthenings of a propositional logic (Q1133535) (← links)
- On structural completeness of implicational logics (Q1181489) (← links)
- On structural completeness of many-valued logics (Q1252341) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Completeness theory for propositional logics (Q2372412) (← links)
- Modal consequence relations extending S4.3: an application of projective unification (Q2374393) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- (Q2772905) (← links)
- Projective unification in modal logic (Q2903753) (← links)
- (Q3325691) (← links)
- (Q3475249) (← links)
- (Q3540341) (← links)
- (Q3661544) (← links)
- (Q3676122) (← links)
- (Q3690794) (← links)
- (Q3707995) (← links)
- (Q3734369) (← links)
- (Q3921200) (← links)
- (Q3921201) (← links)
- (Q4025011) (← links)
- (Q4133632) (← links)
- (Q4196408) (← links)
- (Q4198478) (← links)
- (Q4250065) (← links)
- (Q4408993) (← links)
- Almost structurally complete infinitary consequence operations extending S4.3 (Q4644526) (← links)
- (Q4820597) (← links)
- (Q4943161) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- (Q5324062) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- (Q5690140) (← links)
- \(Cn\)-definitions of propositional connectives (Q5939995) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
