论文信息 - Classical relevant logics II - 字舞流文

Classical relevant logics II

Richard Routley | Robert K. Meyer | R. Meyer | R. Routley

[1] R. Meyer,et al. The semantics of entailment — III , 1973 .

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

[3] R. Routley,et al. A semantical analysis of implicational systemI and of the first degree of entailment , 1972 .

[4] Nuel D. Belnap,et al. A Decision Procedure For the System EĪ of Entailment with Negation , 1965 .

[5] Van Fraassen,et al. Facts and Tautological Entailments , 1969 .

[6] Nuel Belnap,et al. The pure calculus of entailment , 1962, Journal of Symbolic Logic.

[7] J. M. Dunn,et al. Homomorphisms of intensionally complemented distributive lattices , 1968 .

[8] J. A. Kalman,et al. Lattices with involution , 1958 .

[9] Nuel Belnap,et al. Intensional models for first degree formulas , 1967, Journal of Symbolic Logic.

[10] Richard Sylvan,et al. The semantics of entailment—II , 1972, Journal of Philosophical Logic.

[11] Saul Kripke,et al. A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[12] Helena Rasiowa,et al. On the Representation of Quasi-Boolean Algebras , 1957 .

[13] Nuel Belnap,et al. Modalities in Ackermann's “rigorous implication” , 1959, Journal of Symbolic Logic.

[14] Kit Fine,et al. Models for entailment , 1974, J. Philos. Log..

[15] Robert K. Meyer,et al. Conservative extension in relevant implication , 1973 .