35 found
Order:
  1. (1 other version)Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (2):405-407.
     
    Export citation  
     
    Bookmark   40 citations  
  2.  51
    Modal tableau calculi and interpolation.Wolfgang Rautenberg - 1983 - Journal of Philosophical Logic 12 (4):403 - 423.
  3.  52
    2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.
    Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F i from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  4.  9
    Splitting lattices of logics.Wolfgang Rautenberg - 1980 - Archive for Mathematical Logic 20 (3-4):155-159.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  5.  48
    A calculus for the common rules of ∧ and ∨.Wolfgang Rautenberg - 1989 - Studia Logica 48 (4):531-537.
    We provide a finite axiomatization of the consequence , i.e. of the set of common sequential rules for and . Moreover, we show that has no proper non-trivial strengthenings other than and . A similar result is true for , but not, e.g., for +.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6. A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that it is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  26
    A Calculus for the Common Rules of $\wedge $ and $\vee $.Wolfgang Rautenberg - 1989 - Studia Logica 48 (4):531 - 537.
    We provide a finite axiomatization of the consequence $\vdash ^{\wedge}\cap \vdash ^{\vee}$ , i.e. of the set of common sequential rules for $\wedge $ and $\vee $ . Moreover, we show that $\vdash ^{\wedge}\cap \vdash ^{\vee}$ has no proper non-trivial strengthenings other than $\vdash ^{\wedge}$ and $\vdash ^{\vee}$ . A similar result is true for $\vdash ^{\leftrightarrow}\cap \vdash ^{\rightarrow}$ , but not, e.g., for $\vdash ^{\leftrightarrow}\cap \vdash ^{+}$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  55
    On reduced matrices.Wolfgang Rautenberg - 1993 - Studia Logica 52 (1):63 - 72.
    It is shown that the class of reduced matrices of a logic is a 1 st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 st order.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  38
    Applications of weak Kripke semantics to intermediate consequences.Wolfgang Rautenberg - 1986 - Studia Logica 45 (1):119 - 134.
    Section 1 contains a Kripke-style completeness theorem for arbitrary intermediate consequences. In Section 2 we apply weak Kripke semantics to splittings in order to obtain generalized axiomatization criteria of the Jankov-type. Section 3 presents new and short proofs of recent results on implicationless intermediate consequences. In Section 4 we prove that these consequences admit no deduction theorem. In Section 5 all maximal logics in the 3 rd counterslice are determined. On these results we reported at the 1980 meeting on Mathematical (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  23
    Axiomatization of semigroup consequences.Wolfgang Rautenberg - 1989 - Archive for Mathematical Logic 29 (2):111-123.
    We show (1) the consequence determined by a variety V of algebraic semigroup matrices is finitely based iffV is finitely based, (2) the consequence determined by all 2-valued semigroup connectives, Λ, ∨, ↔, +, in other words the collection of common rules for all these connectives, is finitely based. For possible applications see Sect. 0.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  28
    (1 other version)Common Logic of 2‐Valued Semigroup Connectives.Wolfgang Rautenberg - 1991 - Mathematical Logic Quarterly 37 (9‐12):187-192.
  12.  16
    Propositional logic based on the dynamics of disbelief.David Pearce & Wolfgang Rautenberg - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 241--258.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  31
    More about the lattice of tense logic.Wolfgang Rautenberg - 1979 - Bulletin of the Section of Logic 8 (1):21-25.
  14.  42
    Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle.Gönter Asser & Wolfgang Rautenberg - 1960 - Mathematical Logic Quarterly 6 (15-22):303-318.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. A Note On Implicational Consequences.Wolfgang Rautenberg - 1985 - Bulletin of the Section of Logic 14 (3):103-106.
     
    Export citation  
     
    Bookmark  
  16.  21
    (1 other version)Beweis Des Kommutativgesetzes in Elementar‐Archimedisch Geordneten Gruppen.Wolfgang Rautenberg - 1965 - Mathematical Logic Quarterly 11 (1):1-4.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  12
    Über den Sprachgebrauch in der Mathematik.Wolfgang Rautenberg - 1965 - Deutsche Zeitschrift für Philosophie 13 (6):721.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  19
    Über Hilberts Schnittpunktsätze.Wolfgang Rautenberg - 1966 - Mathematical Logic Quarterly 12 (1):57-59.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  15
    (1 other version)Über Metatheoretische Eigenschaften Einiger Geometrischer Theorien.Wolfgang Rautenberg - 1962 - Mathematical Logic Quarterly 8 (1):5-41.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  16
    (1 other version)Bemerkung Zur Axiomatik Der Vektorgeometrie.Wolfgang Rautenberg - 1963 - Mathematical Logic Quarterly 9 (11):173-174.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  28
    Common logic of binary connectives has finite maximality degree (preliminary report).Wolfgang Rautenberg - 1990 - Bulletin of the Section of Logic 19 (2):36-38.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  35
    (1 other version)Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I.Wolfgang Rautenberg & Kurt Hauschild - 1971 - Mathematical Logic Quarterly 17 (1):47-55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  22
    (1 other version)Jan von Plato. The axioms of constructive geometry. Annals of pure and applied logic, vol. 76 , pp. 169–200.Wolfgang Rautenberg - 1997 - Journal of Symbolic Logic 62 (2):687-688.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1979 - Wiesbaden: Vieweg.
    Der Fortschritt der Aussagenlogik in jungster Zeit HiBt es sinnvoll erscheinen, einen breiteren Leserkreis mit dieser Entwicklung bekannt zu machen. Obwohl vorliegendes Buch als Lehrbuch, nicht als Monographie fUr einen engeren Spezialistenkreis konzipiert wurde, soli es in einigen Themen einen tieferen Einblick in den aktuellen Stand der Dinge vermitteln. Kap. lund ein Tei! von Kap. II befassen sich mit der zweiwertigen Aussagenlogik und sind fUr Leser gedacht, die an Logik interessiert sind, doch noch nicht niiher mit ihr befaBt waren. Die (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  37
    Mail box.Wolfgang Rautenberg - 1990 - Studia Logica 49 (4):613-614.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  15
    Nichtdefinierbarkeit der Multiplikation in Dividierbaren Ringen.Wolfgang Rautenberg - 1968 - Mathematical Logic Quarterly 14 (1-5):59-60.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  26
    (1 other version)Ω-Bibliography of Mathematical Logic: Classical Logic.Wolfgang Rautenberg (ed.) - 1987 - Berlin and Heidelberg: Springer.
    Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Results and problems concerning fragments of classical propositional logic.Wolfgang Rautenberg - 1982 - Bulletin of the Section of Logic 11 (1-2):69-70.
    Several problems arise with the Axiomatizability Theorem : Each 2-valued consequence is s.f.a . We mention in particular.
     
    Export citation  
     
    Bookmark  
  29.  29
    Some properties of the hierarchy of modal logics (preliminary report).Wolfgang Rautenberg - 1976 - Bulletin of the Section of Logic 5 (3):103-104.
    We are concerned with modal logics in the class EM0 of extensions of M0 . G denotes re exive frames. MG the modal logic on G in the sense of Kripke. M is nite if M = MG for some nite G. Finite G's will be drawn as framed diagrams, e.g. G = ! ; G = ! ; the latter shorter denoted by . EM0 is a complete lattice with zero M0 and one M . If M M0 M0 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  26
    The lattice of normal modal logics (preliminary report).Wolfgang Rautenberg - 1977 - Bulletin of the Section of Logic 6 (4):193-199.
    Most material below is ranked around the splittings of lattices of normal modal logics. These splittings are generated by nite subdirect irreducible modal algebras. The actual computation of the splittings is often a rather delicate task. Rened model structures are very useful to this purpose, as well as they are in many other respects. E.g. the analysis of various lattices of extensions, like ES5, ES4:3 etc becomes rather simple, if rened structures are used. But this point will not be touched (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. The lattice of ramified modal and tense logic.Wolfgang Rautenberg - 1978 - Bulletin of the Section of Logic 7 (1):31-33.
  32.  15
    Unentscheidbarkeit Der Euklidischen Inzidenzgeometrie.Wolfgang Rautenberg - 1961 - Mathematical Logic Quarterly 7 (1-5):12-15.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  33
    Unterscheidbarkeit Endlicher Geordneter Mengen mit Gegebener Anzahl von Quantoren.Wolfgang Rautenberg - 1968 - Mathematical Logic Quarterly 14 (13-17):267-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  25
    Books received. [REVIEW]Jacek K. Kabziński, Wolfgang Rautenberg, Bohdan Grell & Agnieszka Wojciechowska - 1982 - Studia Logica 41 (1):83-90.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  33
    (1 other version)Szczerba L. W. and Tarski A.. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 166–178. [REVIEW]Wolfgang Rautenberg - 1971 - Journal of Symbolic Logic 36 (2):333-334.