Documents Related by Co-Citation

107 Display logic – N D Belnap - 1982
461 The mathematics of sentence structure – J Lambek - 1958
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
40 Multimodal Linguistic Inference – Michael Moortgat - 1995
18 Four-Valued Semantics For Relevant Logics (and Some Of Their Rivals) – Greg Restall - 1995
39 Frames and Labels: A Modal Analysis of Categorial Inference – N Kurtonina - 1995
47 Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators – J M Dunn
109 On the calculus of syntactic types – J Lambek - 1961
76 Local action and abstract separation logic – Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang - 2007
58 Oracle semantics for concurrent separation logic – Aquinas Hobor - 2008
2 Norma e condizione. Uno studio dell’implicazione normativa – Silvia Vida - 2001
31 Labelled Deductive Systems, volume 1 – D Gabbay - 1996
16 Ideality, sub-ideality and deontic logic – Andrew J I Jones, Ingmar Pörn
11 The Principles of a Logic of Normative Systems – E Stenius - 1963
24 General theory of norms (M – Hans Kelsen - 1991
126 Idea and result in proof theory – D Prawitz - 1971
10 The formal analysis of normative systems – Alan Ross Anderson - 1967
39 E.: The expressive conception of norms – C E Alchourron, Bulygin - 1981
41 On a fundamental problem of deontic logic – David Makinson - 1999