43
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Handbook of Philosophical Logic 

      Relevance Logic and Entailment

      other
      Springer Netherlands

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references70

          • Record: found
          • Abstract: not found
          • Article: not found

          Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

            Bookmark
            • Record: found
            • Abstract: found
            • Article: not found

            A completeness theorem in modal logic

            The present paper attempts to state and prove a completeness theorem for the system S5 of [1], supplemented by first-order quantifiers and the sign of equality. We assume that we possess a denumerably infinite list of individual variables a, b, c, …, x, y, z, …, x m , y m , z m , … as well as a denumerably infinite list of n -adic predicate variables P n , Q n , R n , …, P m n , Q m n , R m n ,…; if n =0, an n -adic predicate variable is often called a “propositional variable.” A formula P n ( x 1 , …, x n ) is an n -adic prime formula; often the superscript will be omitted if such an omission does not sacrifice clarity.
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              The Algebra of Topology

                Bookmark

                Author and book information

                Book Chapter
                1986
                : 117-224
                10.1007/978-94-009-5203-4_3
                82c33d97-ff84-471f-a29e-acd75eac7ef6
                History

                Comments

                Comment on this book