The following pages link to (Q3255339):
Displaying 33 items.
- From change to spacetime: an eleatic journey (Q360435) (← links)
- Sets and functions in theoretical physics (Q488350) (← links)
- On a synonymy relation for extensional first order theories. I: A notion of synonymy (Q594088) (← links)
- Truth diagrams versus extant notations for propositional logic (Q783668) (← links)
- Some problems concerning language and physics (Q885517) (← links)
- Linear structures, causal sets and topology (Q905672) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- On the logical foundations of the Jauch-Piron approach to quantum physics (Q1112814) (← links)
- A classification of mathematical concepts (Q1130507) (← links)
- Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu) (Q1164041) (← links)
- State-transition structures in physics and in computation (Q1170889) (← links)
- The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based (Q1248616) (← links)
- Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
- Carnapian and Tarskian semantics (Q1708755) (← links)
- Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia (Q1836258) (← links)
- Nondirected light signals and the structure of time (Q1843058) (← links)
- Temporally symmetric causal relations in Minkowski space-time (Q1843820) (← links)
- Logical necessity and sufficiency in medicine (Q1846825) (← links)
- On Gupta's book ``The logic of common nouns'''' (Q2366526) (← links)
- Complementarity in quantum mechanics: A logical analysis (Q2395004) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- General semantics (Q2545136) (← links)
- Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti (Q2625342) (← links)
- Some possible forms of lexicographic evaluation (Q2626445) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- Determinism and ontology (Q2713340) (← links)
- Continuity in Semantic Theories of Programming (Q2963952) (← links)
- The ternary description language as a formalism for the parametric general systems theory: Part II (Q3147291) (← links)
- Carnap, Quine, Quantification and Ontology (Q3299528) (← links)
- A metalogic programming approach: language, semantics and applications (Q4305334) (← links)
- Frege, Carnap, and Explication: ‘Our Concern Here Is to Arrive at a Concept of Number Usable for the Purpose of Science’ (Q4983340) (← links)
- <i>Kant and Strawson on the Content of Geometrical Concepts</i><sup>1</sup> (Q5275779) (← links)
- Heuristic programming: A survey (Q5649437) (← links)
