The following pages link to Newton C. A. Da Costa (Q1234674):
Displaying 50 items.
- (Q365765) (redirect page) (← links)
- The paraconsistent logic of quantum superpositions (Q365767) (← links)
- (Q484894) (redirect page) (← links)
- A modal ontology of properties for quantum mechanics (Q484896) (← links)
- (Q885509) (redirect page) (← links)
- Quasi-truth, paraconsistency, and the foundations of science (Q885510) (← links)
- (Q918972) (redirect page) (← links)
- A Suppes predicate for general relativity and set-theoretically generic spacetimes (Q918975) (← links)
- How to build a hypercomputer (Q1036529) (← links)
- On the relevant systems \(P\) and \(P^*\) and some related systems (Q1068071) (← links)
- Cause as an implication (Q1115416) (← links)
- A new formulation of discussive logic (Q1137988) (← links)
- Peirce the logician (Q1165227) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- On Russell's principle of induction (Q1202504) (← links)
- A semantical analysis of the calculi \(C_n\) (Q1234675) (← links)
- The incompleteness of theories of games (Q1277328) (← links)
- The logic of pragmatic truth (Q1277331) (← links)
- Suppes predicates for space-time (Q1298386) (← links)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (Q1325710) (← links)
- Schrödinger logics (Q1338481) (← links)
- On Jaśkowski's discussive logics (Q1344871) (← links)
- An intensional Schrödinger logic (Q1381433) (← links)
- Consequences of an exotic definition for \(\text{P}=\text{NP}\). (Q1412482) (← links)
- Undecidable Hopf bifurcation with undecidable fixed point (Q1893895) (← links)
- Undecidability, incompleteness and Arnol'd problems (Q1896752) (← links)
- Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications (Q1904898) (← links)
- The mathematical descriptions of truth and change (Q2151524) (← links)
- Physics, inconsistency, and quasi-truth (Q2263042) (← links)
- Quantum mechanics: ontology without individuals (Q2342687) (← links)
- Non-reflexive logical foundation for quantum mechanics (Q2342696) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)
- Definability and invariance (Q2454641) (← links)
- Some thoughts on hypercomputation (Q2497877) (← links)
- On the theory of inconsistent formal systems (Q2552121) (← links)
- \(\alpha\)-models and the systems T and T\(^*\) (Q2555496) (← links)
- (Q2735686) (← links)
- (Q2735794) (← links)
- (Q2735813) (← links)
- (Q2746863) (← links)
- (Q2753260) (← links)
- Is there a zande logic? (Q2757961) (← links)
- Quasi-Truth, Supervaluations and Free Logic (Q2757985) (← links)
- (Q2770963) (← links)
- (Q2776088) (← links)
- (Q2785507) (← links)
- METAMATHEMATICAL LIMITS TO COMPUTATION (Q2829934) (← links)
- (Q3003828) (← links)
- (Q3026976) (← links)
- (Q3030797) (← links)
