scientific article; zbMATH DE number 3125691
From MaRDI portal
Publication:3241190
Cited in
(86)- Is there any theoretical justification for a nonstatement view of theories?
- Mathematical properties common in all mechanism models of chemical reactions
- Difference measurement spaces
- The logical study of science
- Gazing: An approach to the problem of definition and lemma use
- A consistent theory of attributes in a logic without contraction
- Complementary properties of binary relations
- Question-answering by a semantic network of parallel automata
- Complementary relations in the theory of preference
- On existence and existential perception
- An axiomatic approach to first law thermodynamics
- QT logic: Simpler and more expressive than predicate calculus
- The old and the new logic of metascience
- On the structuralist constraints in social scientific theorizing
- Perfect Pavelka logic
- Holistic modeling: an objection to Weisberg's weighted feature-matching account
- Temporally symmetric causal relations in Minkowski space-time
- Axiomatic analysis of non-transitivity of preference and of indifference
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- Leśniewski on metalogic and definitions
- Paradoxical hypodoxes
- Partial arithmetical data types of rational numbers and their equational specification
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
- Normal proofs, cut free derivations and structural rules
- A survey of nonstandard sequent calculi
- A proof of Hume's separation thesis based on a formal system for descriptive and normative statements
- Creative and non-creative definitions in the calculus of probability
- A comparison of the meaning and uses of models in mathematics and the empirical sciences
- Intransitive indifference with unequal indifference intervals
- A brief history of negation
- Ramsey equivalence
- A Brief History of Natural Deduction
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
- Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
- Zero-place operations and functional completeness, and the definition of new connectives
- Henkin's theorem in textbooks
- STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING
- Theory structuralism in a rigid framework
- Deductive reasoning in the structuralist approach
- COMPLEXITY OF DESCRIPTIONS OF SYSTEMS: A FOUNDATIONAL STUDY
- Axiomatization and models of scientific theories
- A discussion on quantum non-individuality
- A survey of state vectors
- Stanisław Jaśkowski and Natural Deduction Systems
- Commentary and illocutionary expressions in linear calculi of natural deduction
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts
- Sets and functions in theoretical physics
- A representational approach to reduction in dynamical systems
- Busting a Myth about Leśniewski and Definitions
- On Morita equivalence and interpretability
- A frame-based approach for theoretical concepts
- Inversion principles and introduction rules
- Relational forces and structures produced by them
- RAMSIFICATION AND SEMANTIC INDETERMINACY
- Eager Equality for Rational Number Arithmetic
- The unbearable circularity of easy ontology
- Foundations of applied mathematics. I
- Tarski's theory of the formal correctness of definitions
- Non-transitive correspondence analysis
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- The equivalence myth of quantum mechanics. II
- The equivalence myth of quantum mechanics. I
- Metatheoretical structuralism: a general program for analyzing science
- The logicality of equality
- Analysis inPrior AnalyticsI.45
- Relating quasi-sets and rough sets: from quantum entities to AI
- Logical models of mathematical texts. II: legality conventions for division by zero in inconsistent contexts
- When rules define logical operators: rules as second-order definitions
- Supervenience, reduction, and translation
- For rational numbers with Suppes-Ono division, equational validity is one-one equivalent with Diophantine unsolvability
- A complete finite axiomatisation of the equational theory of common meadows
- Applying Ramseyfication to infrared spectroscopy
- Structures in law: a new way to reconstruct law using logical tools from philosophy of science
- Intransitive indifference with direction-dependent sensitivity
- A model for ordered metric scaling by comparison of intervals
- Truth diagrams versus extant notations for propositional logic
- A logical study of the correspondence relation
- Variable declarations in natural deduction
- Some problems concerning language and physics
- Basic concepts of structuralism
- Carnapian structuralism
- Criteria of theoreticity: bridging statement and non-statement view
- A framework for measuring the complexity of mathematical concepts
- The logical structure of international trade theory
- Grades of probability modality in the law of evidence
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3241190)
