Publication:5797033
From MaRDI portal
zbMath0038.14811MaRDI QIDQ5797033
Publication date: 1950
Related Items
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, Increasing the efficiency of automated theorem proving, Reductions for non-clausal theorem proving, A resolution rule for well-formed formulae, The logic and meaning of plurals. I, Variable declarations in natural deduction, Indicative conditionals: factual or epistemic?, Formalization and the objects of logic, 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, Linguistically invariant inductive logic, Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations, Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics, A Brief History of Natural Deduction, Algebraic Topological Methods for the Synthesis of Switching Systems. I