The foundations of mathematics. A study in the philosophy of science
From MaRDI portal
(Redirected from Publication:770676)
Cited in
(68)- Intuitionistic completeness of first-order logic
- Tavole semantiche per sistemi astratti di logica estensionale
- Combining many-valued and intuitionistic tableaux
- 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
- Simultaneous rigid E-unification is undecidable
- Maehara-style modal nested calculi
- Relevant analytic tableaux
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
- A weak intuitionistic propositional logic with purely constructive implication
- Dialogspiele als Semantische Grundlage von Logikkalkülen
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
- Peirce, frege, the logic of relations, and church's theorem
- The projective geometry of Mario Pieri: a legacy of Georg Karl Christian von Staudt
- Intuitive counterexamples for constructive fallacies
- 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
- On meaningfulness and truth
- The cognitive relation in a formal setting
- König's infinity lemma and Beth's tree theorem
- A multimodal logic for reasoning about complementarity
- Tableaus and dual Tableaus
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- AUTOLOGY OF TIME*
- T-string unification: unifying prefixes in non-classical proof methods
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Tableaux for realizability of safety specifications
- 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
- On average time hierarchies
- Controlled integration of the cut rule into connection tableau calculi
- Historical reflections on the physics mathematics relationship in electromagnetic theory
- 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
- An NP-complete fragment of fibring logic
- The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines
- scientific article; zbMATH DE number 969493 (Why is no real title available?)
- Lorenzen and constructive mathematics
- Intersection and union types
- INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’
- A first order logic for partial functions (extended abstract)
- Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition
- Games and bisimulations for intuitionistic first-order Kripke models
- Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
- A fuzzy logic with interval truth values
- scientific article; zbMATH DE number 790278 (Why is no real title available?)
- Partheo: A high-performance parallel theorem prover
- 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
- Intuitionistic truth
- scientific article; zbMATH DE number 1301803 (Why is no real title available?)
- scientific article; zbMATH DE number 1868659 (Why is no real title available?)
- Beth's tableau-method
- Paradoxes of intensionality
- Tableau-based characterization and theorem proving for default logic
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation
- Aristotle's Demonstrative Logic
- Converting non-classical matrix proofs into sequent-style systems
- Implicit definitions, second-order quantifiers, and the robustness of the logical operators
- scientific article; zbMATH DE number 5295823 (Why is no real title available?)
- 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)
