The following pages link to (Q5666507):
Displayed 33 items.
- The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
- Compactness theorems for finitely-many-valued sentential logics (Q599810) (← links)
- Thomason's paradox for belief, and two consequence relations (Q626496) (← links)
- Supervaluations and the propositional attitude constraint (Q676188) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- What is quantum logic? (Q793727) (← links)
- Inferentializing semantics (Q975776) (← links)
- Semantic alternatives in partial Boolean quantum logic (Q1071021) (← links)
- Logical foundation of quantum mechanics (Q1153144) (← links)
- On some ascending chains of Brouwerian modal logics (Q1156787) (← links)
- An axiom system for orthomodular quantum logic (Q1160172) (← links)
- Adverbs and events (Q1217695) (← links)
- A point of reference (Q1218829) (← links)
- General semantic closure (Q1237063) (← links)
- Stalnaker conditionals and quantum logic (Q1237722) (← links)
- Hans Reichenbach on the logic of quantum mechanics (Q1254300) (← links)
- Functional dependencies, supervenience, and consequence relations (Q1322439) (← links)
- Some supervaluation-based consequence relations (Q1404387) (← links)
- Is space-time discrete or continuous? An empirical question. (Q1578770) (← links)
- The role of symmetry in mathematics (Q1655492) (← links)
- Delinearization of quantum logic (Q1801519) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- The paradox of classical reasoning (Q2172063) (← links)
- The cognitive ontogenesis of predicate logic (Q2258541) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- On the a priori and a posteriori assessment of probabilities (Q2446676) (← links)
- A semantic theory of sortal incorrectness (Q2556395) (← links)
- A Bayesian Account of the Virtue of Unification (Q3093490) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- Resolving the Raven Paradox: Simple Random Sampling, Stratified Random Sampling, and Inference to Best Explanation (Q5883929) (← links)
- Saving the Square of Opposition (Q6098649) (← links)