Informational interpretation of substructural propositional logics

This paper deals with various substructural propositional logics, in particular with substructural subsystems of Nelson's constructive propositional logics N− and N. DoŽen's groupoid semantics is extended to these constructive systems and is provided with an informational interpretation in terms of information pieces and operations on information pieces.

[1]  藤原 靖.  Lectures on Linear Logic, Anne S. Troelstra, CSLI, 1992 , 1994 .

[2]  J. Girard,et al.  Proofs and types , 1989 .

[3]  A. Troelstra.  Lectures on linear logic , 1992 .

[4]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[5]  Gerd Wagner,et al.  Logic Programming with Strong Negation and Inexact Predicates , 1991, J. Log. Comput..

[6]  Heinrich Wansing,et al.  The Logic of Information Structures , 1993, Lecture Notes in Computer Science.

[7]  Andrzej Grzegorczyk,et al.  A Philosophically Plausible Formal Interpretation of Intuitionistic Logic , 1964 .

[8]  Richmond H. Thomason,et al.  A semantical study of constructible falsity , 1969 .

[9]  Avron Arnon.  The semantics and proof theory of linear logic , 1988 .

[10]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[11]  Richard Routley,et al.  Semantical analyses of propositional systems of Fitch and Nelson , 1974 .

[12]  Alasdair Urquhart,et al.  Semantics for relevant logics , 1972, Journal of Symbolic Logic.

[13]  David Pearce,et al.  Propositional logic based on the dynamics of disbelief , 1989, The Logic of Theory Change.

[14]  Johan van Benthem,et al.  The Lambek Calculus , 1988 .

[15]  H. Rasiowa.  An Algebraic Approach To Non Classical Logics , 1974 .

[16]  Franz Kutschera.  Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle , 1969 .

[17]  Yuri Gurevich,et al.  Intuitionistic logic with strong negation , 1977 .

[18]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[19]  David Nelson,et al.  Constructible falsity and inexact predicates , 1984, Journal of Symbolic Logic.

[20]  E. López-Escobar,et al.  Refutability and elementary number theory , 1972 .

[21]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[22]  Kosta Dosen,et al.  Sequent-systems and groupoid models. I , 1988, Stud Logica.

[23]  E.G.C. Thijsse,et al.  Partial logic and modal logic : A systematic survey , 1990 .

[24]  J. Benthem.  Essays in Logical Semantics , 1986 .

[25]  J. Michael Dunn,et al.  Relevance Logic and Entailment , 1986 .

[26]  K. Popper,et al.  Conjectures and refutations;: The growth of scientific knowledge , 1972 .

[27]  Saul A. Kripke,et al.  Semantical Analysis of Intuitionistic Logic I , 1965 .