- Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.details
|
|
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.details
|
|
The problem of reconstructability of propositional calculi.Marek Tokarz & Ryszard Wójcicki - 1971 - Studia Logica 28 (1):119 - 129.details
|
|
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses.Timothy Williamson - 1998 - Notre Dame Journal of Formal Logic 39 (1):128-134.details
|
|
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.details
|
|
Relative necessity.Timothy Smiley - 1963 - Journal of Symbolic Logic 28 (2):113-134.details
|
|
Relative Necessity.Timothy Smiley & T. J. Smiley - 1967 - Journal of Symbolic Logic 32 (3):401-401.details
|
|
Classical propositional operators: an exercise in the foundations of logic.Krister Segerberg - 1982 - New York: Oxford University Press.details
|
|
On systems containing Aristotle's thesis.R. Routley & H. Montgomery - 1968 - Journal of Symbolic Logic 33 (1):82-96.details
|
|
Applications of weak Kripke semantics to intermediate consequences.Wolfgang Rautenberg - 1986 - Studia Logica 45 (1):119 - 134.details
|
|
Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.details
|
|
Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.details
|
|
On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.details
|
|
Aristotle's thesis in consistent and inconsistent logics.Chris Mortensen - 1984 - Studia Logica 43 (1-2):107 - 116.details
|
|
Verisimilitude redeflated.David Miller - 1976 - British Journal for the Philosophy of Science 27 (4):363-381.details
|
|
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.details
|
|
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.details
|
|
Choice of primitives: A note on axiomatizing intuitionistic logic.I. L. Humberstone - 1998 - History and Philosophy of Logic 19 (1):31-40.details
|
|
Two types of circularity.I. L. Humberstone - 1997 - Philosophy and Phenomenological Research 57 (2):249-280.details
|
|
Two Types of Circularity.I. L. Humberstone - 1997 - Philosophy and Phenomenological Research 57 (2):249-280.details
|
|
Singulary extensional connectives: A closer look. [REVIEW]I. L. Humberstone - 1997 - Journal of Philosophical Logic 26 (3):341-356.details
|
|
Negation by iteration.I. L. Humberstone - 1995 - Theoria 61 (1):1-24.details
|
|
Inverses for normal modal operators.Lloyd Humberstone & Timothy Williamson - 1997 - Studia Logica 59 (1):33-64.details
|
|
Extensionality in sentence position.Lloyd Humberstone - 1986 - Journal of Philosophical Logic 15 (1):27 - 54.details
|
|
Extendible sentential calculus.H. Hiz - 1959 - Journal of Symbolic Logic 24 (3):193-202.details
|
|
Deviant logic: some philosophical issues.Susan Haack - 1974 - New York: Cambridge University Press.details
|
|
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
A note on Halldén-incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.details
|
|
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.details
|
|
A Propositional Logic with Subjunctive Conditionals.R. B. Angell - 1970 - Journal of Symbolic Logic 35 (3):464-465.details
|
|
A propositional logic with subjunctive conditionals.R. B. Angell - 1962 - Journal of Symbolic Logic 27 (3):327-343.details
|
|
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.details
|
|
.E. J. Lemmon - 1966details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
A survey of some connections between classical, intuitionistic and minimal logic.D. Prawitz & P.-E. Malmnäs - 1968 - In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966. North-Holland Publishing Company. pp. 215–229.details
|
|