Pages that link to "Item:Q770676"
From MaRDI portal
The following pages link to The foundations of mathematics. A study in the philosophy of science (Q770676):
Displayed 33 items.
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Intuitionistic truth (Q1062982) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- A weak intuitionistic propositional logic with purely constructive implication (Q1102265) (← links)
- Russell and Kant (Q1148887) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- Tavole semantiche per sistemi astratti di logica estensionale (Q1237721) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- On average time hierarchies (Q1313704) (← links)
- Controlled integration of the cut rule into connection tableau calculi (Q1344875) (← links)
- Tableau-based characterization and theorem proving for default logic (Q1344885) (← links)
- A fuzzy logic with interval truth values (Q1568481) (← links)
- The undefinability of intersection from perpendicularity in the three- dimensional Euclidean geometry of lines (Q1801633) (← links)
- Peano's axioms in their historical context (Q1899316) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- The cognitive relation in a formal setting (Q2464653) (← links)
- The projective geometry of Mario Pieri: a legacy of Georg Karl Christian von Staudt (Q2507650) (← links)
- Beth's tableau-method (Q2527819) (← links)
- A generalization of Piaget's logical-mathematical model for the stage of formal operations (Q2550001) (← links)
- A semantic theory of sortal incorrectness (Q2556395) (← links)
- A modern elaboration of the ramified theory of types (Q2563450) (← links)
- Peirce, frege, the logic of relations, and church's theorem (Q3346278) (← links)
- INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ (Q3550703) (← links)
- Aristotle's Demonstrative Logic (Q3618447) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- AUTOLOGY OF TIME* (Q3680803) (← links)
- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus (Q4275696) (← links)
- A multimodal logic for reasoning about complementarity (Q4443402) (← links)
- Dialogspiele als Semantische Grundlage von Logikkalkülen (Q5569434) (← links)
- On meaningfulness and truth (Q5928921) (← links)