scientific article; zbMATH DE number 3254863
From MaRDI portal
Publication:5541301
zbMath0158.24406MaRDI QIDQ5541301
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective), Classical harmony: Rules of inference and the meaning of the logical constants, Visualizing Boolean operations on a hypercube, Simplifying proofs in Fitch-style natural deduction systems, A model for belief revision, Natural deduction and Curry's paradox, Distributed first order logic, Where is ‘There is’ in ‘∃’?, The nature of information: a relevant approach, TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS, Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions, Formalization and the objects of logic, Aristotle's assertoric syllogistic and modern relevance logic, Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic, Minimally congruential contexts: observations and questions on embedding E in K, A Brief History of Natural Deduction, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different, Normal proofs, cut free derivations and structural rules, A survey of nonstandard sequent calculi, THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT, Variations on a theme of Curry, The harmony of identity, Explicating logical independence, Logic of agreement: Foundations, semantic system and proof theory, Uncovering deterministic causal structures: a Boolean approach, Truth diagrams versus extant notations for propositional logic, The revival of rejective negation, Natural deduction and arbitrary objects
