| |
| 2008 | ||
|---|---|---|
| 5 | EE | Joanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco: An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139 |
| 2007 | ||
| 4 | EE | Joanna Golinska-Pilarek, Ewa Orlowska: Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6 |
| 3 | EE | Joanna Golinska-Pilarek, Ewa Orlowska: Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007) |
| 2006 | ||
| 2 | EE | Joanna Golinska-Pilarek, Ewa Orlowska: Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161 |
| 1 | EE | Joanna Golinska-Pilarek: Number of non-Fregean sentential logics that have adequate models. Math. Log. Q. 52(5): 439-443 (2006) |
| 1 | Angel Mora | [5] |
| 2 | Emilio Muñoz-Velasco | [5] |
| 3 | Ewa Orlowska | [2] [3] [4] |