Wyniki
-
two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
Nils Kürbis
Bulletin of the Section of Logic , 48 /4 (2019) s. 299-317 -
Sentential constants in relevant implication
Robert K. Meyer
Bulletin of the Section of Logic , 9 /1 (1980) s. 33-38 -
Relevant arithmetic
Robert K. Meyer
Bulletin of the Section of Logic , 5 /4 (1976) s. 133-135 -
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics
Robert K. Meyer
Bulletin of the Section of Logic , 5 /4 (1976) s. 138-142 -
Current research in relevant logic
Robert K. Meyer
Bulletin of the Section of Logic , 6 /3 (1977) -
Rationalizing relevant primitives, of course!
Robert K. Meyer
Bulletin of the Section of Logic , 24 /2 (1995) s. 76-79 -
Peirced Clean Through
Robert K. Meyer
Bulletin of the Section of Logic , 19 /3 (1990) s. 100-101 -
R+ is contained in T+
Robert K. Meyer, Steve Giambrone
Bulletin of the Section of Logic , 9 /1 (1980) s. 30-32 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192