Searching for "Signed Interval Logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Signed Interval Logic
- …Signed Interval Logic ? Thomas Marthedal Rasmussen Department of Information Technology…
- Cited by 5 (4 self) – Add To MetaCart
-
A Sequent Calculus for Signed Interval Logic
- …A Sequent Calculus for Signed Interval Logic Thomas Marthedal Rasmussen Informatics…
- Cited by 2 (2 self) – Add To MetaCart
-
Signed Interval Logic on Totally Ordered Domains
- …Signed Interval Logic on Totally Ordered Domains Thomas Marthedal Rasmussen Computer Systems…
- Cited by 2 (2 self) – Add To MetaCart
-
Labelled Natural Deduction for Interval Logics
- …. With emphasis on Signed Interval Logic we consider normalization properties and show that normal derivations…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 4.
