scientific article
From MaRDI portal
Publication:3281052
zbMath0100.00807MaRDI QIDQ3281052
Martha Kneale, William C. Kneale
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Block relations in formal fuzzy concept analysis ⋮ The philosophical significance of Cox's theorem ⋮ Category theory, logic and formal linguistics: some connections, old and new ⋮ De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ A Bayesian decision-theoretic approach to logically-consistent hypothesis testing ⋮ How diagrams can support syllogistic reasoning: an experimental study ⋮ Towards an adequate definition of distribution for first-order logic ⋮ Rewriting the history of connexive logic ⋮ The Neutrality of Truth in the Debate Realism vs. Anti-realism ⋮ Theology against logic: the origins of logic in old russia ⋮ A 17th-century debate on the consequentia mirabilis ⋮ Two kinds of consequential implication ⋮ Peirce and the logical status of diagrams ⋮ Friedrich albert langes bewundernswerte logische studien ⋮ Strong Boethius' thesis and consequential implication ⋮ Traditional logic and the early history of sets, 1854-1908 ⋮ Connexive restricted quantification ⋮ Kneale's natural deductions as a notational variant of Beth's tableaus ⋮ Negation and quantification in aristotle ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ Distributive lattices with a dual homomorphic operation ⋮ The concept of relevance and the logic diagram tradition ⋮ A computational approach to George Boole's discovery of mathematical logic ⋮ Strategic Maneuvering in Mathematical Proofs ⋮ Composition and division ⋮ Probabilities of conditionals and previsions of iterated conditionals ⋮ Wigner's ``Unreasonable effectiveness of mathematics, revisited ⋮ Granularity of attributes in formal concept analysis ⋮ Fast algorithm for computing fixpoints of Galois connections induced by object-attribute relational data ⋮ Whitehead's (Badly) EmendedPrincipia ⋮ Term Kinds and the Formality of Aristotelian Modal Logic ⋮ Burali-Forti's paradox: A reappraisal of its origins ⋮ French logique and British logic: on the origins of Augustus De Morgan's early logical inquiries, 1805--1835. ⋮ A modal-Hamiltonian interpretation of quantum mechanics ⋮ The existential assumptions of traditional logic ⋮ Mathematical modal logic: A view of its evolution ⋮ A meta-logic of inference rules: Syntax ⋮ The Case of Dialetheism ⋮ The development of probability logic from leibniz to maccoll ⋮ The need for a dialectical tier in arguments ⋮ Is logic all in our heads? From naturalism to psychologism ⋮ A modal ontology of properties for quantum mechanics ⋮ INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ Normalization of N-graphs via sub-N-graphs ⋮ Polarity and Inseparability: The Foundation of the Apodictic Portion of Aristotle's Modal Logic ⋮ Kant and Frege on existence ⋮ On Discourses Addressed by Infidel Logicians ⋮ Logic and Mathematics in the Seventeenth Century ⋮ Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like ⋮ FOUNDATIONS OF QUANTUM MECHANICS: DECOHERENCE AND INTERPRETATION ⋮ Russell's theory of types, 1901–1910: its complex origins in the unpublished manuscripts ⋮ The grammar of Platonism ⋮ Implicit and explicit stances in logic ⋮ Euler’s visual logic ⋮ William stanley jevons and the extent of meaning in logic and economics ⋮ Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics ⋮ The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900 ⋮ Vasil'Év and Imaginary Logic ⋮ Fallacies and formal logic in Aristotle ⋮ Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism ⋮ Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte ⋮ Normal proofs, cut free derivations and structural rules ⋮ John McCarthy's legacy ⋮ Charles Peirce's Reading of Richard Whately'sElements of Logic ⋮ Lewis Carroll's Formal Logic ⋮ Fuzzy logic from the viewpoint of machine intelligence ⋮ The semantics of frege'sgrundgesetze ⋮ Paraconsistent logic from a modal viewpoint ⋮ Peirce, frege, the logic of relations, and church's theorem ⋮ Category theory and set theory as theories about complementary types of universals ⋮ Towards a Re-Evaluation of Julius König's Contribution to Logic ⋮ Discovery of optimal factors in binary data via a novel method of matrix decomposition ⋮ Unnamed Item ⋮ Semantics for connexive logics. I ⋮ Computation in Medieval Western Europe ⋮ Relevant Connexive Logic ⋮ Swyneshed, Aristotle and the rule of contradictory pairs ⋮ Attribute implications in \textbf{L}-concept analysis with positive and negative attributes: validity and properties of models ⋮ The semantics of generic THE ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ PARADOXES OF INTENSIONALITY ⋮ Aristotle's logic and the quest for the quantification of the predicate ⋮ Erhard Weigel's Contributions to the Formation of Symbolic Logic ⋮ Zur Miete bei Frege – Rudolf Hirzel und die Rezeption der stoischen Logik und Semantik in Jena ⋮ As simple as possible but not simpler in multiple criteria decision aiding: the robust-stochastic level dependent Choquet integral approach ⋮ The validity paradox in modal \(\text{S}_5\) ⋮ Quantifier problems beyond uniformity ⋮ Chrysippus' logic in a natural deduction setting ⋮ Lewis Carroll's visual logic ⋮ Boole's abandoned propositional logic ⋮ Popper's theory of deductive inference and the concept of a logical constant ⋮ Automated reasoning and nonclassical logics: Introduction ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic ⋮ The hooded man ⋮ A fuzzy syllogistic reasoning schema for generalized quantifiers ⋮ The logic and meaning of plurals. I ⋮ On retaining classical truths and classical deducibility in many-valued and fuzzy logics ⋮ Nominalism and semantics in Abelard and Ockham ⋮ Choice and logic
This page was built for publication:
