scientific article; zbMATH DE number 3254863
From MaRDI portal
Publication:5541301
Cited in
(31)- Minimally congruential contexts: observations and questions on embedding E in K
- THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT
- Variations on a theme of Curry
- Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
- A model for belief revision
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- 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
- Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
- Natural deduction and Curry's paradox
- Natural deduction and arbitrary objects
- Deciding dependence in logic and algebra
- 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
- Truth diagrams versus extant notations for propositional logic
- Distributed first order logic
- Visualizing Boolean operations on a hypercube
- Where is ‘There is’ in ‘∃’?
- 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
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)
