Name Card

Full name Familienname, Vorname
Gabbay, Dov
 

Own Publications Eigene Publikationen


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Lukasiewicz logic: From proof system to logic programmingArtikel Article2005
2Metcalfe, George ; Olivetti, Nicola ; Gabbay, Dov Sequent and Hypersequent Calculi for Abelian and Lukasiewicz LogicsArtikel Article2005

Contributing Publications Mitbeteiligte Publikationen


Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gabbay, Dov ; Horty, John ; Parent, Xavier ; van der Meyden, Ron ; van der Torre, Leendert Handbook of Deontic Logic and Normative SystemsBook Buch19-Jul-2021
2Avron, Arnon ; Zamansky, Anna Non-deterministic semantics for logical systemsBuchbeitrag Book Contribution2011