Sciweavers

129
Voted
IGPL
2007
74views more  IGPL 2007»
15 years 5 months ago
A Note on Negation in Categorial Grammar
A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.
Heinrich Wansing
133
Voted
IGPL
2007
50views more  IGPL 2007»
15 years 5 months ago
Not Everything is Possible
Andrea Iacona
119
Voted
IGPL
2007
91views more  IGPL 2007»
15 years 5 months ago
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Valentin Goranko, Alberto Zanardo