scientific article; zbMATH DE number 3399177
From MaRDI portal
Publication:5666507
zbMath0253.02002MaRDI QIDQ5666507
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx) Mathematical logic and foundations (03-XX)
Related Items (33)
Resolving the Raven Paradox: Simple Random Sampling, Stratified Random Sampling, and Inference to Best Explanation ⋮ Truth, dependence and supervaluation: living with the ghost ⋮ The role of symmetry in mathematics ⋮ The paradox of classical reasoning ⋮ Compactness theorems for finitely-many-valued sentential logics ⋮ Classes of valuations closed under operations Galois-dual to Boolean sentence connectives ⋮ Minimally generated abstract logics ⋮ Saving the Square of Opposition ⋮ Thomason's paradox for belief, and two consequence relations ⋮ Some supervaluation-based consequence relations ⋮ Logical foundation of quantum mechanics ⋮ On some ascending chains of Brouwerian modal logics ⋮ An axiom system for orthomodular quantum logic ⋮ On the a priori and a posteriori assessment of probabilities ⋮ Supervaluations and the propositional attitude constraint ⋮ The cognitive ontogenesis of predicate logic ⋮ Adverbs and events ⋮ A point of reference ⋮ Inferentializing semantics ⋮ The expressive unary truth functions of \(n\)-valued logic ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ General semantic closure ⋮ Stalnaker conditionals and quantum logic ⋮ Hans Reichenbach on the logic of quantum mechanics ⋮ Delinearization of quantum logic ⋮ A Bayesian Account of the Virtue of Unification ⋮ Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω ⋮ A semantic theory of sortal incorrectness ⋮ A note on FDE ``all the way up ⋮ Is space-time discrete or continuous? An empirical question. ⋮ What is quantum logic? ⋮ Semantic alternatives in partial Boolean quantum logic ⋮ Functional dependencies, supervenience, and consequence relations
This page was built for publication:
