scientific article; zbMATH DE number 3057869
From MaRDI portal
Publication:5797033
zbMath0038.14811MaRDI QIDQ5797033
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity, Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations, On Jaśkowski's discussive logics, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, Variable declarations in natural deduction, A satisfiability tester for non-clausal propositional calculus, Increasing the efficiency of automated theorem proving, Shallow analysis and the slingshot argument, Decidability of fluted logic with identity, Quantifiers defined by parametric extensions, Situations in which disjunctive syllogism can lead from true premises to a false conclusion, THE GENEALOGY OF ‘’, Contributions of Logical Analysis for Mathematics Education, The logic of Quinean revisability, Jean van Heijenoort's conception of modern logic, in historical perspective, Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem, In defence of higher-level plural logic: drawing conclusions from natural language, Peirce the logician, Mathematical Logic: Mathematics of Logic or Logic of Mathematics, Indicative conditionals: factual or epistemic?, On a derivation of the necessity of identity, Formalization and the objects of logic, The logic of indexicals, General-elimination stability, Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics, A Brief History of Natural Deduction, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different, A survey of nonstandard sequent calculi, Conditionals in reasoning, Reductions for non-clausal theorem proving, Formalization of that-clauses, New foundations for counterfactuals, Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem, Linguistically invariant inductive logic, Problems for Logical Pluralism, One true logic?, Algebraic Topological Methods for the Synthesis of Switching Systems. I, Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia, Simplification in a satisfiability checker for VLSI applications, On plural reference and elementary set theory, Skolem redux, An information-based theory of conditionals, A resolution rule for well-formed formulae, The logic and meaning of plurals. I
