Joanna Golinska-Pilarek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

5 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 Joanna Golinska-Pilarek, Ewa Orlowska: Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6

3 Joanna Golinska-Pilarek, Ewa Orlowska: Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007)

2006

2 Joanna Golinska-Pilarek, Ewa Orlowska: Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161

1 Joanna Golinska-Pilarek: Number of non-Fregean sentential logics that have adequate models. Math. Log. Q. 52(5): 439-443 (2006)

	2008
5		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		Joanna Golinska-Pilarek, Ewa Orlowska: Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6
3		Joanna Golinska-Pilarek, Ewa Orlowska: Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007)
	2006
2		Joanna Golinska-Pilarek, Ewa Orlowska: Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161
1		Joanna Golinska-Pilarek: Number of non-Fregean sentential logics that have adequate models. Math. Log. Q. 52(5): 439-443 (2006)

Coauthor Index