Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
- Leora Morgenstern
- 2001
- Studia Logica
Publications
4 results at Studia Logica
A note on the logic of signed equations
- Stephen L. Bloom
- 1982
- Studia Logica
Projective and inductive generation of abstract logics
- Stephen L. Bloom
- 1976
- Studia Logica
Some theorems on structural consequence operations
- Stephen L. Bloom
- 1975
- Studia Logica