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