Forum: A multiple-conclusion specification logic (1996)

by Dale Miller
Venue:Theoretical Computer Science
Citations:85 - 11 self

Documents Related by Co-Citation

333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
616 Light Linear Logic – Jean-yves Girard
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
19 Logic & object-oriented programming in linear logic – G DELZANNO - 1997
53 Towards a Unified Agent Architecture That Combines Rationality With Reactivity – Robert Kowalski, Fariba Sadri - 1996
1007 KQML as an agent communication language – Tim Finin, Yannis Labrou, James Mayfield
1084 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
40 Programming in Lygon: An Overview – James Harland, David Pym, Michael Winikoff - 1996
101 The π-calculus as a theory in linear logic: Preliminary results – Dale Miller - 1993
262 Investigations into logical deduction – G Gentzen - 1969
37 Pomset Logic: A Non-Commutative Extension of Classical Linear Logic – Christian Retoré - 1997
23 Research and Development Challenges for Agent-Based Systems – Divine Ndumu, Hyacinth Nwana, Nader Azarmi - 1996
6 E.: Agent-oriented and constraint technologies for distributed transaction management – V Mascardi, Merelli - 1999
39 Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic – Samson - 1994
15 Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications – Philip Dart, Ed. Kazmierczak, Maurizio Martelli, Viviana Mascardi, Leon Sterling, V. S. Subrahmanian, Floriano Zini
35 LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx