caa a22 4500 46577914X CHVBK 20180323111950.0 cr unu---uuuuu 170327e19900301xx s 000 0 eng 10.1007/BF00401553 doi (NATIONALLICENCE)springer-10.1007/BF00401553 Sylvan Richard 2621, RMB683, Bungendore, Australia aut Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C ω and CC ω [Elektronische Daten] [Richard Sylvan] Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC ω, is investigated in some detail, and "dual-intuitionistic” semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. Kluwer Academic Publishers, 1990 Studia Logica Kluwer Academic Publishers 49/1(1990-03-01), 47-65 0039-3215 49:1<47 1990 49 11225 https://doi.org/10.1007/BF00401553 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00401553 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Sylvan Richard 2621, RMB683, Bungendore, Australia aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/1(1990-03-01), 47-65 0039-3215 49:1<47 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer