Pages that link to "Item:Q2759798"
From MaRDI portal
The following pages link to Annals of the Japan Association for Philosophy of Science (Q2759798):
Displaying 50 items.
- Frege on Indexicals (Q3703859) (← links)
- Set Theory and Lesniewski's Ontology (Q3727959) (← links)
- Information-Extraction Through Reduction Methods In Some Formal Systems (Q3767344) (← links)
- Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau (Q3768877) (← links)
- Epistemological Relativity (Q3775516) (← links)
- Pantachies and Weakly Inaccessible Cardinals (Q3781058) (← links)
- Ontology Based on Non-reflexive Identity and Product Name Functor (Q3789531) (← links)
- Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order (Q3792660) (← links)
- Abraham Robinson's Notes (Q3797264) (← links)
- Set Theory Extracted from Cantor's Theological Ontology (Q3820597) (← links)
- Logic as Mathematical Science (Q3843597) (← links)
- Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types (Q3845372) (← links)
- General Recursive Functions in the Number-Theoretic Formal System (Q3845375) (← links)
- The Consistency and the Impredicative Statement (Q3846368) (← links)
- On a Fundamental Assumption in Linguistics (Q3850349) (← links)
- A Theoretical Account of an Empirical Fact in Psychology (Q3854999) (← links)
- Ontological Burden of Grammatical Categories (Q3872422) (← links)
- On the Logic of A priori Modalities (Q3879214) (← links)
- Valid Sequents in Many-Valued Logics (Q3884092) (← links)
- An interpretation of Aristotle's modal syllogism (Q3909023) (← links)
- The Ontological Law of Contradiction and Its Logical Structure (Q3946147) (← links)
- Logical Structure of Sciences (Q3954486) (← links)
- Toy Languages and Free Imaginations (Q3960656) (← links)
- On the strength of PA with a non-principal ultrafilter quantifier (Q3976993) (← links)
- On Numerations of a Formal System (Q4041557) (← links)
- Logic of the Empirical World (Q4052074) (← links)
- Notes on Measure and Category in Recursion Theory (Q4073363) (← links)
- Intuitionistic Version of the Los-Tarski-Robinson Theorem (Q4077988) (← links)
- Weaves (Q4132535) (← links)
- A Bi-Modal Characterization of Epistemic Logic (Q4182711) (← links)
- Falsificationism and Software Engineering (Q4269773) (← links)
- Mereological Ontology and Dynamic Semantics (Q4269774) (← links)
- STRINGS and SPACE-TIME (Q4276041) (← links)
- The Future of Modern Set Theory (Q4306543) (← links)
- A Sequent Calculus for the Lesniewskian Modal Logic (Q4306544) (← links)
- A Note on the Length of Proofs (Q4306545) (← links)
- Existence and Consistence (Q4344733) (← links)
- The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996 (Q4344734) (← links)
- Kernpunkt der Falsifizierbarkeit (Q4469878) (← links)
- Brouwer's Conception of Language, Mind and Mathematics (Q4469879) (← links)
- Naturalized Epistemology and Its Problems (Q4470289) (← links)
- From Information to Fact: A Theory of Belief Change (Q4470290) (← links)
- Quantum State Reduction and the Repeatability Hypothesis (Q4470291) (← links)
- Why, in 1902, wasn't Frege prepared to accept Hume's Principle as the Primitive Law for his Logicist Program? (Q4528614) (← links)
- A Case Study on Theory Reduction and its Philosophy of Science (Q4528616) (← links)
- The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics (Q4665926) (← links)
- A Dynamic Semantics for Vague Predicates (Q4665928) (← links)
- Use and Misuse of G^|^ouml;del's Theorem (Q4670590) (← links)
- Frege and the Idea of Formal Language (Q4670592) (← links)
- A Simple Nonmonotonic Logic as a Model of Belief Change (Q4670593) (← links)
