Kreitz, ChristophChristophKreitzMantel, HeikoHeikoMantelOtt, JörgJörgOttSchmitt, StephanStephanSchmitt2022-11-152022-11-151997-07Lecture Notes in Computer Science 1249 LNAI: 207-221 (1997)http://hdl.handle.net/11420/14039We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fragment and a procedure which translates the machine-found proofs back into the usual sequent calculus for linear logic. Both procedures are straightforward extensions of methods which originally were developed for a uniform treatment of classical, intuitionistic and modal logics. They can be extended to further fragments of linear logic once a matrix characterization has been found.enInformatikConference Paper10.1007/3-540-63104-6_20Other