The following pages link to (Q3241190):
Displaying 50 items.
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- Theory structuralism in a rigid framework (Q383050) (← links)
- Deductive reasoning in the structuralist approach (Q383572) (← links)
- Axiomatization and models of scientific theories (Q429827) (← links)
- A survey of state vectors (Q458456) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Sets and functions in theoretical physics (Q488350) (← links)
- A representational approach to reduction in dynamical systems (Q488476) (← links)
- A frame-based approach for theoretical concepts (Q514039) (← links)
- The equivalence myth of quantum mechanics. II (Q639799) (← links)
- The equivalence myth of quantum mechanics. I (Q639804) (← links)
- Metatheoretical structuralism: a general program for analyzing science (Q656168) (← links)
- A model for ordered metric scaling by comparison of intervals (Q770923) (← links)
- Truth diagrams versus extant notations for propositional logic (Q783668) (← links)
- A logical study of the correspondence relation (Q797569) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- Some problems concerning language and physics (Q885517) (← links)
- Basic concepts of structuralism (Q907905) (← links)
- Carnapian structuralism (Q907906) (← links)
- Criteria of theoreticity: bridging statement and non-statement view (Q907913) (← links)
- A framework for measuring the complexity of mathematical concepts (Q920074) (← links)
- The logical structure of international trade theory (Q954788) (← links)
- Grades of probability modality in the law of evidence (Q969425) (← links)
- Is there any theoretical justification for a nonstatement view of theories? (Q1055753) (← links)
- Mathematical properties common in all mechanism models of chemical reactions (Q1107475) (← links)
- Difference measurement spaces (Q1161518) (← links)
- The logical study of science (Q1164615) (← links)
- Gazing: An approach to the problem of definition and lemma use (Q1197385) (← links)
- A consistent theory of attributes in a logic without contraction (Q1208119) (← links)
- Complementary properties of binary relations (Q1217708) (← links)
- Question-answering by a semantic network of parallel automata (Q1233320) (← links)
- Complementary relations in the theory of preference (Q1241158) (← links)
- On existence and existential perception (Q1242160) (← links)
- An axiomatic approach to first law thermodynamics (Q1248500) (← links)
- QT logic: Simpler and more expressive than predicate calculus (Q1251089) (← links)
- The old and the new logic of metascience (Q1252849) (← links)
- On the structuralist constraints in social scientific theorizing (Q1260612) (← links)
- Perfect Pavelka logic (Q1697361) (← links)
- Holistic modeling: an objection to Weisberg's weighted feature-matching account (Q1708795) (← links)
- Temporally symmetric causal relations in Minkowski space-time (Q1843820) (← links)
- Axiomatic analysis of non-transitivity of preference and of indifference (Q1846800) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Leśniewski on metalogic and definitions (Q1989980) (← links)
- Paradoxical hypodoxes (Q2052643) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- A proof of Hume's separation thesis based on a formal system for descriptive and normative statements (Q2264757) (← links)
- Creative and non-creative definitions in the calculus of probability (Q2523564) (← links)
