scientific article; zbMATH DE number 3254863

zbMATH Open0158.24406MaRDI QIDQ5541301FDOQ5541301

Authors: E. J. Lemmon 

Publication date: 1965

Title of this publication is not available (Why is that?)

zbMATH Keywords

mathematical logic

Cited In (31)

• THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT
• Minimally congruential contexts: observations and questions on embedding E in K
• Variations on a theme of Curry
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• A model for belief revision
• Simplifying proofs in Fitch-style natural deduction systems
• Aristotle's assertoric syllogistic and modern relevance logic
• Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
• Logic of agreement: Foundations, semantic system and proof theory
• Classical harmony: Rules of inference and the meaning of the logical constants
• Explicating logical independence
• Deciding dependence in logic and algebra
• Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions
• Natural deduction and Curry's paradox
• Natural deduction and arbitrary objects
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• The logicality of equality
• A Brief History of Natural Deduction
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• The harmony of identity
• The nature of information: a relevant approach
• Where is ‘There is’ in ‘∃’?
• Distributed first order logic
• Truth diagrams versus extant notations for propositional logic
• Visualizing Boolean operations on a hypercube
• Formalization and the objects of logic
• Uncovering deterministic causal structures: a Boolean approach
• A survey of nonstandard sequent calculi
• The revival of rejective negation
• Normal proofs, cut free derivations and structural rules
• Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5541301)