The foundations of mathematics. A study in the philosophy of science

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)

Cited In (68)

Combining many-valued and intuitionistic tableaux
Simultaneous rigid E-unification is undecidable
On meaningfulness and truth
Tableaus and dual Tableaus
AUTOLOGY OF TIME*
Tableaux for realizability of safety specifications
Title not available (Why is that?)
INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’
Title not available (Why is that?)
Intuitionistic completeness of first-order logic
Tavole semantiche per sistemi astratti di logica estensionale
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
Tableaux and dual tableaux: transformation of proofs
Maehara-style modal nested calculi
Dialogspiele als Semantische Grundlage von Logikkalkülen
Relevant analytic tableaux
Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
A weak intuitionistic propositional logic with purely constructive implication
Peirce, frege, the logic of relations, and church's theorem
Intuitive counterexamples for constructive fallacies
The projective geometry of Mario Pieri: a legacy of Georg Karl Christian von Staudt
A generalization of Piaget's logical-mathematical model for the stage of formal operations
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
The cognitive relation in a formal setting
König's infinity lemma and Beth's tree theorem
A multimodal logic for reasoning about complementarity
First-order automated reasoning with theories: when deduction modulo theory meets practice
T-string unification: unifying prefixes in non-classical proof methods
Well-Ordering Principles in Proof Theory and Reverse Mathematics
A modern elaboration of the ramified theory of types
An algebraic synthesis of the foundations of logic and probability
Russell and Kant
Intuitionistic Decision Procedures Since Gentzen
Aristotle's prototype rule-based underlying logic
Historical reflections on the physics mathematics relationship in electromagnetic theory
On average time hierarchies
Controlled integration of the cut rule into connection tableau calculi
H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg
A guide to completeness and complexity for modal logics of knowledge and belief
Kneale's natural deductions as a notational variant of Beth's tableaus
The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines
An NP-complete fragment of fibring logic
Lorenzen and constructive mathematics
Intersection and union types
A first order logic for partial functions (extended abstract)
Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
Games and bisimulations for intuitionistic first-order Kripke models
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition
Partheo: A high-performance parallel theorem prover
A fuzzy logic with interval truth values
The method of axiomatic rejection for the intuitionistic propositional logic
An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
Leon Henkin the reviewer
Henkin's theorem in textbooks
Title not available (Why is that?)
Title not available (Why is that?)
Intuitionistic truth
Paradoxes of intensionality
Beth's tableau-method
Aristotle's Demonstrative Logic
Tableau-based characterization and theorem proving for default logic
Non-classical propositional calculi in relation to methodological patterns of scientific investigation
Converting non-classical matrix proofs into sequent-style systems
Implicit definitions, second-order quantifiers, and the robustness of the logical operators
Title not available (Why is that?)
A semantic theory of sortal incorrectness
Peano's axioms in their historical context

This page was built for publication: The foundations of mathematics. A study in the philosophy of science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q770676)