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