Corpus ID: 1683475

Cardinalities of Models for Pure Calculi of Names

@article{Pietruszczak1994CardinalitiesOM,
  title={Cardinalities of Models for Pure Calculi of Names},
  author={A. Pietruszczak},
  journal={Reports Math. Log.},
  year={1994},
  volume={28},
  pages={87-102}
}
  • A. Pietruszczak
  • Published 1994
  • Mathematics, Computer Science
  • Reports Math. Log.
Pure Modal Logic of Names and Tableau Systems
On Minimal Models for Pure Calculi of Names
An Axiomatisation of a Pure Calculus of Names
Arithmetizations of Syllogistic à la Leibniz
  • V. Sotirov
  • Computer Science, Mathematics
  • J. Appl. Non Class. Logics
  • 1999