scientific article; zbMATH DE number 3057869

Cited in

(46)

One true logic?
A satisfiability tester for non-clausal propositional calculus
Situations in which disjunctive syllogism can lead from true premises to a false conclusion
Peirce the logician
Formalization of that-clauses
Simplification in a satisfiability checker for VLSI applications
On plural reference and elementary set theory
On Jaśkowski's discussive logics
Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia
Skolem redux
An information-based theory of conditionals
Decidability of fluted logic with identity
Jean van Heijenoort's conception of modern logic, in historical perspective
Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
A survey of nonstandard sequent calculi
Conditionals in reasoning
Quantifiers defined by parametric extensions
New foundations for counterfactuals
Linguistically invariant inductive logic
Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
In defence of higher-level plural logic: drawing conclusions from natural language
Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics
A Brief History of Natural Deduction
Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
Algebraic Topological Methods for the Synthesis of Switching Systems. I
Mathematical Logic: Mathematics of Logic or Logic of Mathematics
The logic of Quinean revisability
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
Increasing the efficiency of automated theorem proving
On a derivation of the necessity of identity
Problems for logical pluralism
The logic of indexicals
Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
General-elimination stability
Reductions for non-clausal theorem proving
Shallow analysis and the slingshot argument
THE GENEALOGY OF ‘’
Contributions of Logical Analysis for Mathematics Education
\textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
Cut elimination for negative free logics with definite descriptions
A resolution rule for well-formed formulae
The logic and meaning of plurals. I
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
Variable declarations in natural deduction
Indicative conditionals: factual or epistemic?
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 Q5797033)