scientific article; zbMATH DE number 3254863

Cited in

(32)

Uncovering deterministic causal structures: a Boolean approach
Natural deduction and arbitrary objects
A model for belief revision
Classical harmony: Rules of inference and the meaning of the logical constants
Visualizing Boolean operations on a hypercube
The revival of rejective negation
Distributed first order logic
Logic of agreement: Foundations, semantic system and proof theory
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 harmony of identity
Explicating logical independence
Variations on a theme of Curry
A Brief History of Natural Deduction
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT
Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
Aristotle's assertoric syllogistic and modern relevance logic
Where is ‘There is’ in ‘∃’?
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
The nature of information: a relevant approach
Deciding dependence in logic and algebra
The logicality of equality
Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
Theorem proving as constraint solving for coherent logic with function symbols
Minimally congruential contexts: observations and questions on embedding E in K
Truth diagrams versus extant notations for propositional logic
Simplifying proofs in Fitch-style natural deduction systems
Natural deduction and Curry's paradox
Formalization and the objects of 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)