scientific article
From MaRDI portal
Publication:3241190
zbMath0077.01105MaRDI QIDQ3241190
Publication date: 1957
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (75)
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) ⋮ Henkin’s Theorem in Textbooks ⋮ STRONG TRUTH AND RULES OF INFERENCE IN FUZZY LOGIC AND APPROXIMATE REASONING ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ A brief history of negation ⋮ Mathematical properties common in all mechanism models of chemical reactions ⋮ Variable declarations in natural deduction ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Ramsey equivalence ⋮ Relational forces and structures produced by them ⋮ Theory structuralism in a rigid framework ⋮ Deductive reasoning in the structuralist approach ⋮ A discussion on quantum non-individuality ⋮ Some problems concerning language and physics ⋮ RAMSIFICATION AND SEMANTIC INDETERMINACY ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ 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 ⋮ Perfect Pavelka logic ⋮ Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions ⋮ Axiomatization and models of scientific theories ⋮ Basic concepts of structuralism ⋮ Carnapian structuralism ⋮ Criteria of theoreticity: bridging statement and non-statement view ⋮ The equivalence myth of quantum mechanics. II ⋮ The equivalence myth of quantum mechanics. I ⋮ Holistic modeling: an objection to Weisberg's weighted feature-matching account ⋮ Stanisław Jaśkowski and Natural Deduction Systems ⋮ Difference measurement spaces ⋮ The logical study of science ⋮ A framework for measuring the complexity of mathematical concepts ⋮ A survey of state vectors ⋮ Metatheoretical structuralism: a general program for analyzing science ⋮ 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 ⋮ Leśniewski on metalogic and definitions ⋮ A frame-based approach for theoretical concepts ⋮ The logical structure of international trade theory ⋮ Gazing: An approach to the problem of definition and lemma use ⋮ A Brief History of Natural Deduction ⋮ A consistent theory of attributes in a logic without contraction ⋮ 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 ⋮ Grades of probability modality in the law of evidence ⋮ A proof of Hume's separation thesis based on a formal system for descriptive and normative statements ⋮ Complementary properties of binary relations ⋮ COMPLEXITY OF DESCRIPTIONS OF SYSTEMS: A FOUNDATIONAL STUDY ⋮ Question-answering by a semantic network of parallel automata ⋮ Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction ⋮ 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 ⋮ Inversion Principles and Introduction Rules ⋮ 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 ⋮ On the structuralist constraints in social scientific theorizing ⋮ Paradoxical hypodoxes ⋮ Intransitive indifference with unequal indifference intervals ⋮ Busting a Myth about Leśniewski and Definitions ⋮ A model for ordered metric scaling by comparison of intervals ⋮ Truth diagrams versus extant notations for propositional logic ⋮ Temporally symmetric causal relations in Minkowski space-time ⋮ Axiomatic analysis of non-transitivity of preference and of indifference ⋮ Is there any theoretical justification for a nonstatement view of theories? ⋮ A logical study of the correspondence relation ⋮ Zero-place operations and functional completeness, and the definition of new connectives
This page was built for publication:
